Set default font size to 12px, since 10px is hard on the eyes and nobody gave a prope...
[citadel.git] / buildbot /
drwxr-xr-x   ..
-rw-r--r-- 12267 master.cfg