Paper: Remove "NOT YET" on URL in preparation for release.
[match/match.git] / program / .gitignore
1 /*.hi
2 /*.o
3 /graph-*.ps
4 /match