lukem 06b0ffe181 distclean is a synonym for cleandir		1998-09-05 14:46:13 +00:00
..
inst	Add $HOME to profiles, closes pr 4323 (from Tatoku Ogaito)	1998-01-09 21:51:25 +00:00
inst-common	distclean is a synonym for cleandir	1998-09-05 14:46:13 +00:00
upgr	Add $HOME to profiles, closes pr 4323 (from Tatoku Ogaito)	1998-01-09 21:51:25 +00:00
Makefile	…
Makefile.inc	RCSID Police.	1998-01-06 04:44:59 +00:00
list2sh.awk	RCSID Police.	1998-01-06 04:44:59 +00:00
runlist.sh	RCSID Police.	1998-01-06 04:44:59 +00:00