Merge branch 'master' of https://github.com/DrJavaAtRice/drjava

ponderosaTX · ponderosaTX · commit e6417582c1c0 · 2024-02-21T13:09:53.000-06:00
diff --git a/.gitignore b/.gitignore
@@ -14,4 +14,7 @@ drjava/classes
 drjava/drjava.jar
 drjava/build.xml.*
 drjava/coverage_report
-scratch
+scratch
+.idea/
+*.iml
+*.exec
