Update to .gitignore

This adds a directory created by the Intellij IDEA dev environment.
EnterpriseDB · Apr 10, 2024 · 8504efe · 8504efe
1 parent a27aaa7
commit 8504efe
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -85,3 +85,6 @@ temp_*/
 # Track base direnv file
 !.envrc
 .vscode/settings.json
+
+# settings from IDE that troublesome devs sometimes use
+.idea