diff configure @ 1548:6c464be76d6a

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