diff TOOLS/realcodecs/rv30.sh @ 16665:dfa3bd6ee92b

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