update gitignore for jetbrains IDEs

joshstevens19 · joshstevens19 · commit a5009bb32529 · 2025-07-07T13:58:00.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -8,4 +8,5 @@
 .gas-snapshot
 lcov.info
 .certora_internal/
-.certora_recent_jobs.json
+.certora_recent_jobs.json
+.idea
