lukem 06b0ffe181 distclean is a synonym for cleandir		1998-09-05 14:46:13 +00:00
..
floppies	distclean is a synonym for cleandir	1998-09-05 14:46:13 +00:00
miniroot	Add $HOME to profiles, closes pr 4323 (from Tatoku Ogaito)	1998-01-09 21:51:25 +00:00