boy! did i really modify that many files?

anyways, here go the child args and a lot of cleanups ;)
you wouldn't want me to put the ChangeLog entry in here, would you?
This commit is contained in:
Tim Janik
1998-06-16 05:20:05 +00:00
parent d36df18dee
commit 742d01908f
62 changed files with 2600 additions and 922 deletions

View File

@ -108,7 +108,7 @@ if (@ARGV) {
}
if ($gen_defs) {
print ";; generated by makeenums.awk ; -*- scheme -*-\n\n";
print ";; generated by makeenums.pl ; -*- scheme -*-\n\n";
} else {
print "/* Generated by makeenums.pl */\n\n";
}