comparison DOCS/xml/en/ports.xml @ 16665:dfa3bd6ee92b

Rename compilation section to compilation and installation.
author diego
date Tue, 04 Oct 2005 22:09:43 +0000
parents ae74a32ca5d9
children 6f07bdc2d4e8
comparison
equal deleted inserted replaced
16664:9991e406a2a2 16665:dfa3bd6ee92b