From: Guido Kanschat Date: Thu, 26 Aug 2004 07:56:30 +0000 (+0000) Subject: use postscript fonts to save space X-Git-Tag: v8.0.0~14887 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0eb6a5e2be8fc20416d752f441759f17d20fc0b9;p=dealii.git use postscript fonts to save space git-svn-id: https://svn.dealii.org/trunk@9581 0785d39b-7218-0410-832d-ea1e28bc413d ---