diff configure @ 1548:6c464be76d6a

Copy checker to top-level dir
author Chris Cannam
date Mon, 16 Jan 2017 13:58:20 +0000
parents 782025ae1249
children e5ead8c8f5ed
line wrap: on
line diff