Matt McCutchen's Web Site / match / match.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
Rename "desirability" to "preference" (much less awkward), with the
[match/match.git] / program / .gitignore
1 /*.hi
2 /*.o
3 /graph-*.ps
4 /match
Matt and Samir's proposal matcher