]> git.plutz.net Git - lobster/history - local.opts
run pdflatex twice, to ensure correct headings
[lobster] / local.opts
2015-03-18 paulimproved debugging functions