diff options
author | Simon Ogorodnik <Simon.Ogorodnik@jetbrains.com> | 2016-11-01 15:26:26 +0300 |
---|---|---|
committer | Simon Ogorodnik <Simon.Ogorodnik@jetbrains.com> | 2016-11-01 15:26:26 +0300 |
commit | 58fc8a79f3384fac8d6d88481d40453d5a659cb4 (patch) | |
tree | cd959edbd2cfb1aaf9036c1ef680082a2989efaa /gradle.properties | |
parent | 769701f99a1aefbc9d385c1938c9c7d3a7b2e38e (diff) | |
download | dokka-58fc8a79f3384fac8d6d88481d40453d5a659cb4.tar.gz |
Fix for CI builds
Diffstat (limited to 'gradle.properties')
-rw-r--r-- | gradle.properties | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gradle.properties b/gradle.properties index 12256f0bf..fd253363d 100644 --- a/gradle.properties +++ b/gradle.properties @@ -11,4 +11,7 @@ maven_version=3.0.5 maven_archiver_version=2.5 plexus_utils_version=3.0.22 plexus_archiver_version=3.4 -maven_plugin_tools_version=3.4
\ No newline at end of file +maven_plugin_tools_version=3.4 + +#For CI +mvn=mvn
\ No newline at end of file |