Merge changes Iabf8ec0b,Ia60382fc,I84138914,If8bc2638,Ia7813913

[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