X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=.gitignore;h=1950eb15cd105fc016229c379f3b1791bd849793;hp=345194da447a92366f8d25ff9776976efd4a6d33;hb=5f262383d6fb6c06bccc98b13697c2a80b03b8d8;hpb=a9bc9081ebda74eb6ee5451d2b719405db3a955c

diff --git a/.gitignore b/.gitignore
index 345194d..1950eb1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,17 +1,74 @@
-.hg
-.hgignore
 local.properties
 .version
-.idea/workspace.xml
-.idea/fileColors.xml
-.idea/uiDesigner.xml
-nbproject/private/*
-build/*
-dist/*
-tmp/*
+build.properties
+
+####### General #######
+*.swo
 trace
 activity*.png
 *.class
 *.orig
 *~
 *.DS_Store
+
+####### Ant #######
+build/
+
+####### Gradle #######
+.gradle/
+reports/
+
+####### Covers NetBeans IDE #######
+nbproject/private/
+nbbuild/
+dist/
+nbdist/
+.nb-gradle/
+
+####### Covers Eclipse IDE #######
+.idea/
+.metadata
+tmp/
+*.tmp
+*.bak
+*.swp
+*~.nib
+.settings/
+.loadpath
+.recommenders
+.classpath
+.project
+
+####### Covers JetBrains IDE: IntelliJ #######
+*.iml
+*.ipr
+
+# User-specific stuff:
+.idea/**/workspace.xml
+.idea/**/tasks.xml
+.idea/dictionaries
+.idea/ant.xml
+
+# Sensitive or high-churn files:
+.idea/**/dataSources/
+.idea/**/dataSources.ids
+.idea/**/dataSources.local.xml
+.idea/**/sqlDataSources.xml
+.idea/**/dynamic.xml
+.idea/**/uiDesigner.xml
+
+# Gradle:
+.idea/**/gradle.xml
+.idea/**/libraries
+
+## File-based project format:
+*.iws
+
+## Plugin-specific files:
+
+# IntelliJ
+out/
+
+# JIRA plugin
+atlassian-ide-plugin.xml
+/build-default/