diff Gui/Makefile @ 12329:3c23de96a936

don't use odml when we don't have to -- the code is buggy!
author rfelker
date Tue, 27 Apr 2004 23:08:46 +0000
parents 6d6ba8e88e57
children 80973aa180a5
line wrap: on
line diff