diff options
author | John Denker <jsd@av8n.com> | 2012-07-22 19:10:38 -0700 |
---|---|---|
committer | John Denker <jsd@av8n.com> | 2012-07-29 15:32:35 -0700 |
commit | 065d189b49449c073cfa23cba4172060abe36c6c (patch) | |
tree | fec23ed61080e867336350025e0ce773fe6a7f11 /.gitignore | |
parent | 6c56d656bd407bc5fc4dd713aacb553ebefee892 (diff) |
implement "-stain" feature; the "-penalty" feature was a baaaad idea
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions