diff --git a/src/snark/.gitignore b/src/snark/.gitignore index f6fb450a2..bb48e1aba 100644 --- a/src/snark/.gitignore +++ b/src/snark/.gitignore @@ -6,6 +6,7 @@ depinst/ depsrc/ README.html doxygen/ +src/gtests src/gadgetlib2/examples/tutorial src/gadgetlib2/tests/gadgetlib2_test