Closed snogge closed 2 years ago
Even if this doesn't resolve the immediate bug, this would fix it potentially picking up TeXi output as well. Thanks!
Even if this doesn't resolve the immediate bug, this would fix it potentially picking up TeXi output as well. Thanks!