comparison configure @ 1175:a7df0d728020 more-hidpi

Some icon updates
author Chris Cannam
date Mon, 05 Dec 2016 14:31:53 +0000
parents 3691af49291c
children
comparison
equal deleted inserted replaced
1174:3f5c82034f9b 1175:a7df0d728020