diff options
author | John Denker <jsd@av8n.com> | 2012-07-22 19:10:38 -0700 |
---|---|---|
committer | John Denker <jsd@av8n.com> | 2012-07-22 19:10:38 -0700 |
commit | 010db437f35e831d170a726aad88bcc305c7b668 (patch) | |
tree | 490fdeeab2456b1830881cee8a9b168e6b869569 /.gitignore | |
parent | 7cf21385573739f7588fae5c68c30618d899fa67 (diff) |
implement "-stain" feature; the "-penalty" feature was a baaaad idea
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions