docs/master

diff input/src/switches @ 115:7dc4867fef91

makefile: Ignore errors of ps2pdf. (Embedding only a subset of the font.)
author markus schnalke <meillo@marmaro.de>
date Mon, 25 Jun 2012 14:19:41 +0200
parents
children
line diff