diff configure @ 1175:a7df0d728020 more-hidpi

Some icon updates
author Chris Cannam
date Mon, 05 Dec 2016 14:31:53 +0000
parents 3691af49291c
children
line wrap: on
line diff