diff configure @ 583:0302262fe3c0

Provisionally add HiDPI feature
author Chris Cannam
date Mon, 08 Jul 2013 14:46:35 +0100
parents f1dfe46ff85a
children 854668a6a33a 8e64cebd38c0
line wrap: on
line diff