Merge branch 'dev' of github.com:GravitLauncher/Launcher into dev

This commit is contained in:
Gravit 2019-05-03 20:35:28 +07:00
commit b8cc9ec9f5
No known key found for this signature in database
GPG key ID: 061981E1E85D3216
3 changed files with 10 additions and 4 deletions

View file

@ -7,6 +7,8 @@
apply plugin: 'eclipse'
apply plugin: 'java'
group = 'ru.gravit'
repositories {
mavenCentral()
maven { url 'http://oss.sonatype.org/content/groups/public' }
@ -30,6 +32,12 @@
}
}
subprojects {
tasks.withType(JavaCompile) {
options.incremental = true // one flag, and things will get MUCH faster
}
}
wrapper {
distributionType = Wrapper.DistributionType.ALL
}

View file

@ -18,7 +18,5 @@ public interface Module extends AutoCloseable {
default void finish(ModuleContext context) {
// NOP
}
;
};
}

@ -1 +1 @@
Subproject commit c338164496249a17eea2079ed560b09132831f35
Subproject commit 9e3e773124ced1d3530349a69c21854aa88eaf6b