Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
pdflatex is now called from the hets-tmp directory instead of the cur…
…rent cgi-bin directory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3090 cec4b9c1-7d33-0410-9eda-942365e851bb
- Loading branch information