diff Gui/Makefile @ 11185:ee8da27cade7

more docs path fixes
author diego
date Sun, 19 Oct 2003 23:38:41 +0000
parents 6d6ba8e88e57
children 80973aa180a5
line wrap: on
line diff