jmc 720f41ede6 Force makeerrnos.sh to be run with sh instead of depending on it being ... executable		2001-12-02 08:41:14 +00:00
..
dump.c
makeerrnos.sh
Makefile