.gitignore

# git-ls-files --others --exclude-from=.git/info/exclude
# Lines that start with '#' are comments.

*~
*#*
.DS_Store
tags
*.tgz
*.tar
.*.swp
*.class

*.toc
*.aux
*.bbl
*.blg
*.len
*.log
*.nav
*.out
*.snm

*.serialized

# *.orig files are created by git during merges
*.orig

### Gradle ###
# Created by https://www.gitignore.io/api/gradle
# Edit at https://www.gitignore.io/?templates=gradle
.gradle
**/build/

# Ignore Gradle GUI config
gradle-app.setting

# Avoid ignoring Gradle wrapper jar file (.jar files are usually ignored)
!gradle-wrapper.jar

# Cache of project
.gradletasknamecache

# # Work around https://youtrack.jetbrains.com/issue/IDEA-116898
# gradle/wrapper/gradle-wrapper.properties

# Created by https://www.toptal.com/developers/gitignore/api/maven
# Edit at https://www.toptal.com/developers/gitignore?templates=maven

### Maven ###
target/
pom.xml.tag
pom.xml.releaseBackup
pom.xml.versionsBackup
pom.xml.next
release.properties
dependency-reduced-pom.xml
buildNumber.properties
.mvn/timing.properties
# https://github.com/takari/maven-wrapper#usage-without-binary-jar
.mvn/wrapper/maven-wrapper.jar

# End of https://www.toptal.com/developers/gitignore/api/maven


### IDE stuff ###
# We do not need to check-in eclipse or intellij stuff:
.idea/
out/
bin/
.settings
.project
.classpath
*.iml

# Files generated by IntelliJ ANTLR plugin
#key.core/src/main/gen

### KeY specific things ###

# generated by the antlr plugin of IntelliJ
key.core/src/main/antlr4/gen/