diff TOOLS/subedit.pl @ 16665:dfa3bd6ee92b

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