From d791577e797bdcdabe68ef4999e39d2b2d99a291 Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Wed, 11 Oct 2006 19:55:10 +0000 Subject: Set default font size to 14 --- (limited to '.gitignore') -- cgit v0.9.1