diff debian/dirs @ 22642:507ed8dcd772

Simplify compilation commands.
author diego
date Sat, 17 Mar 2007 00:39:03 +0000
parents 4780969312f6
children
line wrap: on
line diff