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 /tools/makefile | |
| parent | 7cf21385573739f7588fae5c68c30618d899fa67 (diff) | |
implement "-stain" feature; the "-penalty" feature was a baaaad idea
Diffstat (limited to 'tools/makefile')
0 files changed, 0 insertions, 0 deletions