diff Gui/Makefile @ 8964:9f3a0da01917

preferences cosmetics
author pontscho
date Thu, 16 Jan 2003 19:51:08 +0000
parents 226e6866212d
children 0a665389cf2b
line wrap: on
line diff