/Makefile/1.2/Sun Sep 21 11:35:25 1997//
/banner.6/1.7/Fri Jul  9 13:35:54 1999//
/banner.c/1.7/Tue Sep 15 05:22:46 1998//
D
