add scripts for generating/checking symbol lists
darcs-hash:20070131123026-c9803-98cea90c5235f7c67b1c98ee94c4b83f518b1178.gz
Showing
scripts/check-symbols.sh
0 → 100755
scripts/make-symbol-list.sh
0 → 100755
Please register or sign in to comment