diff .hgtags @ 190:dfdbc75cd45f

use floating point font size, change size by scaling factor rather than linear addition
author Carl Byington <carl@five-ten-sg.com>
date Wed, 02 Jul 2014 16:23:21 -0700
parents b2853cd674dc
children aab87298244f
line wrap: on
line diff