6 Commits

Author	SHA1	Message	Date
pk	d014b18a86	Remove junk (from Masanobu Saitoh; PR#1378).	1995-08-18 15:01:19 +00:00
cgd	555d4b510e	slightly clean rcs ids, etc.	1995-04-23 10:33:03 +00:00
cgd	0114e805ce	convert to new RCS Id conventions; reduce my headache	1995-03-18 14:54:19 +00:00
mycroft	5922d844af	Update from 4.4-Lite, with local changes.	1994-06-08 19:23:02 +00:00
jtc	48077f51c5	fix formatting	1994-01-24 19:26:13 +00:00
cgd	b8b8502974	mount_portal command, from jsp	1994-01-12 20:01:27 +00:00