Patch #743667

[Harald H. <h.h...@tu...>]

Could please somebody close the patch #743667, Epslatex term merged w/
pslatex/pstex, which is obsolete?

Regards
Harald

-- 
Harald Harders
h.h...@tu...
http://www.harald-harders.de