diff --git a/.gitignore b/.gitignore index 65de0d4..da4ed03 100644 --- a/.gitignore +++ b/.gitignore @@ -9,6 +9,7 @@ __pycache__/ *.aux *.log *.pdf +.undercover_init_successful instance/