+## Revision 1.6 1997/09/18 11:17:18 mdw
+## Fix comment leaders. Don't know why this CVS keeps breaking them.
+## Could be DEC's bogus version of RCS being picked up.
+##
+## Revision 1.5 1997/09/17 10:28:25 mdw
+## Remove `set.c'. No longer necessary.
+##
+## Revision 1.4 1997/08/20 16:14:12 mdw