mycroft 7ae2c7538b Eliminate extra `/' when prefixing the device name with _PATH_DEV.		1995-06-10 21:01:08 +00:00
..
Makefile	specify man pages the new way.	1994-12-22 11:32:57 +00:00
bad144.8	Merge local changes.	1994-06-13 22:29:11 +00:00
bad144.c	Eliminate extra `/' when prefixing the device name with _PATH_DEV.	1995-06-10 21:01:08 +00:00