leo c4de9da34f No longer used (now using the miniroot installation).		1997-01-08 10:32:49 +00:00
..
miniroot	rd -> md rename.	1997-01-08 10:05:03 +00:00