diff options
author | Valerio Virgillito | 2012-08-20 23:36:05 -0700 |
---|---|---|
committer | Valerio Virgillito | 2012-08-20 23:36:05 -0700 |
commit | ebb22628692375ce3bfce21353aaf5b820723f40 (patch) | |
tree | a88c6b967549c557f0c0654e367dfd5908dc8361 /.gitignore | |
parent | 36d692a9fb216f2785a570d13c1beb27360c7305 (diff) | |
parent | 22191240b09a98d134cebe36f3bc79803c5ceab4 (diff) | |
download | ninja-ebb22628692375ce3bfce21353aaf5b820723f40.tar.gz |
Merge pull request #432 from mencio/cleanup
removing unnecessary references to the tag tool.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions