summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorChris Dyer <cdyer@cs.cmu.edu>2012-03-05 14:51:04 -0500
committerChris Dyer <cdyer@cs.cmu.edu>2012-03-05 14:51:04 -0500
commitce58cb44771a5194b71682d1602abe2fef9e6f13 (patch)
treececdac4b062680eb25bfe2377747254edf31a3fa /.gitignore
parent0c4ffecf6ccad06b426463d8edc5e0c50935b9c9 (diff)
support strength=0 PYPs, final notation clean-up
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions