X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=.gitignore;h=9ccb9e27d48a9aa8939134985a2c2ca9fd23541a;hp=2409b424dcdd61a3efe4da2ae9f087ce4eec8a7a;hb=783e1675dcfd5178a09a4b93197eb05d4a0d016e;hpb=76f94230358e77d9c6bfb22373b5f1692b88650a

diff --git a/.gitignore b/.gitignore
index 2409b42..9ccb9e2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@ local.properties
 build.properties
 
 ####### General #######
+*.swo
 trace
 activity*.png
 *.class
@@ -24,6 +25,7 @@ nbdist/
 .nb-gradle/
 
 ####### Covers Eclipse IDE #######
+.idea/
 .metadata
 tmp/
 *.tmp
@@ -33,8 +35,12 @@ tmp/
 .settings/
 .loadpath
 .recommenders
+.classpath
+.project
 
 ####### Covers JetBrains IDE: IntelliJ #######
+*.iml
+*.ipr
 
 # User-specific stuff:
 .idea/**/workspace.xml