extras/.gitignore

.idea/
.settings/
bin/
build/
.gradle/
.checkstyle
.classpath
.project
*.iml
.theia/
run/
Fix style errors in command code 2019-12-21 13:39:31 +00:00			`.idea/`
Fix package paths 2019-12-17 12:37:59 +00:00			`.settings/`
Target Java 7 2019-12-17 18:23:24 +00:00			`bin/`
Move to Gradle & implement platform-independent scheduler 2023-03-30 00:09:31 +00:00			`build/`
			`.gradle/`
Target Java 7 2019-12-17 18:23:24 +00:00			`.checkstyle`
Fix package paths 2019-12-17 12:37:59 +00:00			`.classpath`
Target Java 7 2019-12-17 18:23:24 +00:00			`.project`
Fix style errors in command code 2019-12-21 13:39:31 +00:00			`*.iml`
Add run/ to gitignore 2022-05-21 17:23:18 +00:00			`.theia/`
			`run/`