diff Gui/Makefile @ 16665:dfa3bd6ee92b

Rename compilation section to compilation and installation.
author diego
date Tue, 04 Oct 2005 22:09:43 +0000
parents e047e70a9767
children 7af5fe0860a1
line wrap: on
line diff