Comment 2 for bug 682752

Revision history for this message
Andreas Allacher (ghost-zero5) wrote :

Damn it... I also wanted to mention that those dvi files are displayed correctly in xdvi