diff Gui/Makefile @ 13379:82c0bbefcbd4

Reduce excessive verbosity a bit.
author diego
date Sat, 18 Sep 2004 14:17:45 +0000
parents 24d26e525df7
children e047e70a9767
line wrap: on
line diff