diff configure @ 477:411e019474e5 recording

OK, we can record -- sort of
author Chris Cannam
date Tue, 18 Aug 2015 16:47:54 +0100
parents b36042cb972a
children d65ce7e55346
line wrap: on
line diff