diff configure @ 661:9d6eadfd390e

WS -> OS
author Chris Cannam
date Tue, 26 Nov 2013 11:16:58 +0000
parents 854668a6a33a
children f45af8d8091e 72c1dd980802
line wrap: on
line diff