diff blatter.ini @ 393:5dc640877bb8

Added DejaVuSans to the fonts (bug #8: https://bitbucket.org/segv/hg-website/issue/8/use-dejavusans-too-instead-of-just )
author Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
date Mon, 11 Feb 2013 12:42:45 +0100
parents e497fd754aa0
children
line wrap: on
line diff