diff options
author | IOhannes m zmölnig <zmoelnig@users.sourceforge.net> | 2014-03-25 08:42:08 +0000 |
---|---|---|
committer | IOhannes m zmölnig <zmoelnig@users.sourceforge.net> | 2014-03-25 08:42:08 +0000 |
commit | ac8ce80c68fe09a83903669164c387962b2070a0 (patch) | |
tree | 857cbfd1f012ad9c2e2ae2caf01e0e80888461dd /extensions/gui | |
parent | 599c1e8ce3e49e93928e1011bc80a8853d8582b3 (diff) |
use pdflatex for building PDFs
svn path=/trunk/; revision=17279
Diffstat (limited to 'extensions/gui')
0 files changed, 0 insertions, 0 deletions