.gitignore

# git-ls-files --others --exclude-from=.git/info/exclude
# Lines that start with '#' are comments.
# For a project mostly in C, the following would be a good set of
# exclude patterns (uncomment them if you want to use them):

projects/**/.gitignore
*~
*#*
.DS_Store
tags
*.tgz
*.tar
.*.swp
*.class

smt-solvers
*.toc
*.aux
*.bbl
*.blg
*.len
*.log
*.nav
*.out
*.snm

*.serialized
**/testresults/**

# *.orig files are created by git during merges
*.orig
key/key.ui/examples/**/**.proof

.gradle
target/

# 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


.polyglot.feature.xml
.polyglot.META-INF
.polyglot.category.xml
.tycho-consumer-pom.xml