diff .hgtags @ 583:0302262fe3c0

Provisionally add HiDPI feature
author Chris Cannam
date Mon, 08 Jul 2013 14:46:35 +0100
parents a866380b3698
children 1c7a3cda3563
line wrap: on
line diff