diff --git a/.gitignore b/.gitignore
index ac9b46b750e635682f7c49888d98d383d393bdb3..fa6c2b0e814c65cc760aaab4933ae732180c9565 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,5 +25,4 @@ screenshots/
 tlatools/.gradle
 tlatools/build
 ajcore.*.txt
-local.*
 !**/gradle/wrapper/gradle-wrapper.jar