X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=.gitignore;h=1950eb15cd105fc016229c379f3b1791bd849793;hp=5607bfce48a42b5e58d4fe5c61ca8423f36c3983;hb=d5abca72b4e24ce48e43a54521032006ea3a2a41;hpb=fb15fd528aa2ace1536fe16f12b5d973b2c4f049

diff --git a/.gitignore b/.gitignore
index 5607bfc..1950eb1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,9 @@
 local.properties
 .version
+build.properties
 
 ####### General #######
+*.swo
 trace
 activity*.png
 *.class
@@ -12,6 +14,10 @@ activity*.png
 ####### Ant #######
 build/
 
+####### Gradle #######
+.gradle/
+reports/
+
 ####### Covers NetBeans IDE #######
 nbproject/private/
 nbbuild/
@@ -20,6 +26,7 @@ nbdist/
 .nb-gradle/
 
 ####### Covers Eclipse IDE #######
+.idea/
 .metadata
 tmp/
 *.tmp
@@ -29,8 +36,12 @@ tmp/
 .settings/
 .loadpath
 .recommenders
+.classpath
+.project
 
 ####### Covers JetBrains IDE: IntelliJ #######
+*.iml
+*.ipr
 
 # User-specific stuff:
 .idea/**/workspace.xml
@@ -60,3 +71,4 @@ out/
 
 # JIRA plugin
 atlassian-ide-plugin.xml
+/build-default/