diff options
author | P. F. Chimento <philip.chimento@gmail.com> | 2013-12-10 14:29:59 -0800 |
---|---|---|
committer | P. F. Chimento <philip.chimento@gmail.com> | 2013-12-10 14:29:59 -0800 |
commit | daab1c89b2ed9238bb53928c3e8fb2b30e1ebae2 (patch) | |
tree | 7707725b994bad95abd994eb618382480c43e800 /.gitignore | |
parent | 15c4c63ba41e4848d015ac3e864f26b9c30dbaa4 (diff) | |
parent | 9e51e0059b4413ce54ad04eb81c54185dae84bab (diff) |
Merge pull request #431 from endlessm/issues/335
#335 Integrated JSON extraction utility
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -11,6 +11,7 @@ data/eos-wikipedia-domain.gresource wikipedia/config.js tools/eos-run-test tools/eos-application-manifest/eos-application-manifest +tools/eos-json-extractor/eos-json-extractor *.py[cod] |