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	merge in changes from 1.1 release branch	1995-11-28 23:56:58 +00:00
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