diff Makefile @ 7373:be83aac30445

some fixes I did while updating design5
author gabucino
date Wed, 11 Sep 2002 14:02:15 +0000
parents 7ec253a97341
children ad00ad5f25a9
line wrap: on
line diff