5562: New LaTeXDoc.py -- patch by Harald Rosemann <rosemann@imkt.uni-hannover.de>
svn: r18864
This commit is contained in:
parent
9e34031bcf
commit
1ca4c044db
svn: r18864