Cleaning up: Removing the full-blown graph traversal.
[jpf-core.git] / .gitignore
index a7586ef..1950eb1 100644 (file)
@@ -1,7 +1,9 @@
 local.properties
 .version
 local.properties
 .version
+build.properties
 
 ####### General #######
 
 ####### General #######
+*.swo
 trace
 activity*.png
 *.class
 trace
 activity*.png
 *.class
@@ -14,6 +16,7 @@ build/
 
 ####### Gradle #######
 .gradle/
 
 ####### Gradle #######
 .gradle/
+reports/
 
 ####### Covers NetBeans IDE #######
 nbproject/private/
 
 ####### Covers NetBeans IDE #######
 nbproject/private/
@@ -23,6 +26,7 @@ nbdist/
 .nb-gradle/
 
 ####### Covers Eclipse IDE #######
 .nb-gradle/
 
 ####### Covers Eclipse IDE #######
+.idea/
 .metadata
 tmp/
 *.tmp
 .metadata
 tmp/
 *.tmp
@@ -32,8 +36,12 @@ tmp/
 .settings/
 .loadpath
 .recommenders
 .settings/
 .loadpath
 .recommenders
+.classpath
+.project
 
 ####### Covers JetBrains IDE: IntelliJ #######
 
 ####### Covers JetBrains IDE: IntelliJ #######
+*.iml
+*.ipr
 
 # User-specific stuff:
 .idea/**/workspace.xml
 
 # User-specific stuff:
 .idea/**/workspace.xml
@@ -63,3 +71,4 @@ out/
 
 # JIRA plugin
 atlassian-ide-plugin.xml
 
 # JIRA plugin
 atlassian-ide-plugin.xml
+/build-default/