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