Import Debian changes 20180207-1

[hcoop/debian/mlton.git] / doc / mlb-formal / .gitignore

/TAGS
/macros.aux
/mlb-formal.aux
/mlb-formal.bbl
/mlb-formal.blg
/mlb-formal.dvi
/mlb-formal.log
/mlb-formal.pdf
/mlb-formal.ps
/mlb-formal.ps.gz
/mlb-formal.toc