force all files to end in "/* end of filename"

This commit is contained in:
K. Richard Pixley
1992-02-13 09:13:54 +00:00
parent 1d63ba3ba0
commit 8b228fe958
54 changed files with 4140 additions and 4095 deletions

View File

@@ -81,4 +81,4 @@ void input_file_pop();
#endif /* __STDC__ */
/* end: input_file.h */
/* end of input_file.h */