diff --git a/.gitignore b/.gitignore index fa6c2b0e814c65cc760aaab4933ae732180c9565..3fd0c318fdbc523a92d30f4b26dd4958c6898134 100644 --- a/.gitignore +++ b/.gitignore @@ -24,5 +24,5 @@ states/ screenshots/ tlatools/.gradle tlatools/build -ajcore.*.txt !**/gradle/wrapper/gradle-wrapper.jar +ajcore.*.txt