bsongis@gmail.com cbe3a02fb9 [all] A few other fixes with DBLSIZE font. We will decide which letters are really needed here. I am not sure that the , is needed!

2013-06-11 10:35:54 +00:00

..

std

[all] A few other fixes with DBLSIZE font. We will decide which letters are really needed here. I am not sure that the , is needed!

2013-06-11 10:35:54 +00:00