diff options
| author |  Rogan Creswick <creswick@gmail.com> | 2013-06-07 16:13:03 -0700 |
|---|---|---|
| committer | Rogan Creswick <creswick@gmail.com> | 2013-06-07 16:13:03 -0700 |
| commit | f37588f9a4c7c6b418c64f03d82d48ecd14da217 (patch) | |
| tree | 425242a2d8fe379e8615f43b3970e725b59614fa /tools | |
| parent | 88c95d18a81e4f107cc4e5967bfa45d1bf4882a1 (diff) | |
added the batchtools to the make clean target
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions