gradle/wrapper
|
Merge branch 'pull/110' into dev/0.2.5
|
2019-06-24 11:17:45 +01:00 |
src
|
Fix warnings with task inputs
|
2019-06-24 11:20:28 +01:00 |
.editorconfig
|
add gradle plugin marker (#11)
|
2018-11-03 13:01:34 +00:00 |
.gitattributes
|
Update Gradle wrapper to 3.0 (#2)
|
2016-08-16 23:29:10 +01:00 |
.gitignore
|
add gradle plugin marker (#11)
|
2018-11-03 13:01:34 +00:00 |
build.gradle
|
Merge branch 'pull/110' into dev/0.2.5
|
2019-06-24 11:17:45 +01:00 |
gradle.properties
|
Revert to old name
|
2018-10-22 19:25:18 +01:00 |
HEADER
|
add license header
|
2018-10-27 16:14:05 +02:00 |
Jenkinsfile
|
Merge branch 'pull/110' into dev/0.2.5
|
2019-06-24 11:17:45 +01:00 |
LICENSE
|
Update Gradle wrapper to 3.0 (#2)
|
2016-08-16 23:29:10 +01:00 |
README.md
|
ongoing de-OMLification
|
2018-10-24 22:07:18 +02:00 |
settings.gradle
|
Update Gradle wrapper to 3.0 (#2)
|
2016-08-16 23:29:10 +01:00 |