summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohn Denker <jsd@av8n.com>2012-07-22 19:10:38 -0700
committerJohn Denker <jsd@av8n.com>2012-07-29 15:32:35 -0700
commit065d189b49449c073cfa23cba4172060abe36c6c (patch)
treefec23ed61080e867336350025e0ce773fe6a7f11 /.gitignore
parent6c56d656bd407bc5fc4dd713aacb553ebefee892 (diff)
implement "-stain" feature; the "-penalty" feature was a baaaad idea
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions