5 Commits

Author	SHA1	Message	Date
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	ea7b5d4ec6	Eliminate uses of some obsolete functions.	1994-09-23 14:26:58 +00:00
mycroft	5922d844af	Update from 4.4-Lite, with local changes.	1994-06-08 19:23:02 +00:00
cgd	b8b8502974	mount_portal command, from jsp	1994-01-12 20:01:27 +00:00