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