diff install-sh @ 858:6b77fcc39723 tonioni

Add non-SV-preferred options
author Chris Cannam
date Wed, 04 Dec 2013 19:29:19 +0000
parents d7a2214e86e2
children
line wrap: on
line diff