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 /src/batchtools/.gitignore | |
parent | 88c95d18a81e4f107cc4e5967bfa45d1bf4882a1 (diff) |
added the batchtools to the make clean target
Diffstat (limited to 'src/batchtools/.gitignore')
-rw-r--r-- | src/batchtools/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/batchtools/.gitignore b/src/batchtools/.gitignore new file mode 100644 index 0000000..24318ea --- /dev/null +++ b/src/batchtools/.gitignore @@ -0,0 +1 @@ +.settings/ |