Skip to content
Snippets Groups Projects
Commit 20f521b8 authored by dgelessus's avatar dgelessus
Browse files

Clean up .gitignore

parent 2d185fc1
Branches
Tags
No related merge requests found
local.* # Gradle
/bin /.gradle/
/build /build/
/gradle
/gradlew # Eclipse
/gradlew.bat
/settings.gradle
/temp
/.gradle
build.xml
.classpath .classpath
.DS_Store
.gitignore
.project .project
.settings/org.eclipse.jdt.core.prefs .settings/
src/main/java/.DS_Store
TODO.txt # Build output
Club_tla.mch
testing
Club.prob
TLA2B.jar TLA2B.jar
src/test/resources/test
src/test/resources/bugs
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment