diff options
| author | John Denker <jsd@av8n.com> | 2012-07-17 13:05:15 -0700 |
|---|---|---|
| committer | John Denker <jsd@av8n.com> | 2012-07-29 15:32:33 -0700 |
| commit | 40c8c828972af044b7628b2c167093f78353fcdd (patch) | |
| tree | 9eae830853337ad942ee780e51d2d075a88e522b /tools/makefile | |
| parent | 0d63ba5de5370191e9463f8fc5ccb6223c23c185 (diff) | |
fix commented-out bug; clarify variable-name
Diffstat (limited to 'tools/makefile')
0 files changed, 0 insertions, 0 deletions