Closed GoogleCodeExporter closed 9 years ago
Sorry, I have to correct myself: the file on the hard disk is Blah.tex (so it
is more likely my fault, inputting the wrong file ;) ).
Original comment by Ritterbrater@gmail.com
on 1 Dec 2014 at 1:50
Original comment by pa.brac...@gmail.com
on 1 Dec 2014 at 5:32
Original issue reported on code.google.com by
Ritterbrater@gmail.com
on 1 Dec 2014 at 1:08