diff version.sh @ 22649:0495a7675c28

Simplify compilation commands.
author diego
date Sat, 17 Mar 2007 00:56:45 +0000
parents 8ec12f1f0bd5
children 007dd9c904d9
line wrap: on
line diff