diff msdos/mainmake @ 20196:5c9cedc7dd75

Incorporated simplifying suggestions from Carsten Dominik <dominik@strw.LeidenUniv.nl>.
author Oliver Seidel <os10000@seidel-space.de>
date Tue, 28 Oct 1997 21:37:05 +0000
parents df402eaace58
children 40a7360c9f8d
line wrap: on
line diff