]> https://gitweb.dealii.org/ - dealii.git/commitdiff
use postscript fonts to save space
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Thu, 26 Aug 2004 07:56:30 +0000 (07:56 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Thu, 26 Aug 2004 07:56:30 +0000 (07:56 +0000)
git-svn-id: https://svn.dealii.org/trunk@9581 0785d39b-7218-0410-832d-ea1e28bc413d


No differences found

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.