Adding a counter for unique transitions.

[jpf-core.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 345194da447a92366f8d25ff9776976efd4a6d33..1950eb15cd105fc016229c379f3b1791bd849793 100644 (file)
--- 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/