Merge changes I47ec8fcb,I2cd200f3

[gigi.git] / doc / scripts / .gitignore

diff --git a/doc/scripts/.gitignore b/doc/scripts/.gitignore
index ea4975ec40a131e880e34a518807c1c35d1ff824..a9ef6c68f7c47014c480bd55eae262391c3f39d2 100644 (file)
--- a/doc/scripts/.gitignore
+++ b/doc/scripts/.gitignore
@@ -1 +1,2 @@
 /*.csr
+/JSON-java