Günter Milde 9ff11a7935 Swap preference of PDF->Postscript converters.
According to http://stefaanlippens.net/pdf2ps_vs_pdftops 
pdftops is better than pdf2ps (which transforms fonts into bitmaps which
results in larger files, non scalability and longer conversion times). 
(tip by Georg Baum,  http://permalink.gmane.org/gmane.editors.lyx.general/85973)
2016-01-09 15:51:25 +01:00
..
2015-11-27 11:56:17 -05:00
2016-01-05 17:07:14 +01:00
2011-04-02 11:00:19 +00:00
2015-12-28 16:11:26 +01:00
2011-02-21 19:56:43 +00:00
2015-11-27 11:56:17 -05:00
2015-08-23 11:33:34 +02:00
2015-02-24 07:58:40 +01:00
2015-11-15 17:23:42 +01:00