Skip to content
Snippets Groups Projects
Commit 2d185fc1 authored by dgelessus's avatar dgelessus
Browse files

Fix indentation in build.gradle

parent 330e42d0
Branches
Tags
Loading
...@@ -39,7 +39,6 @@ else { ...@@ -39,7 +39,6 @@ else {
def tlatools_version = '1.0.2' def tlatools_version = '1.0.2'
dependencies { dependencies {
compile (group: 'commons-cli', name: 'commons-cli', version: '1.4') compile (group: 'commons-cli', name: 'commons-cli', version: '1.4')
compile (group: 'de.hhu.stups', name: 'tlatools', version: tlatools_version) compile (group: 'de.hhu.stups', name: 'tlatools', version: tlatools_version)
compile (group: 'de.hhu.stups', name: 'prologlib', version: parser_version) compile (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)
...@@ -103,7 +102,6 @@ task tla2b(dependsOn: createJar) { ...@@ -103,7 +102,6 @@ task tla2b(dependsOn: createJar) {
} }
if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) { if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
apply plugin: 'signing' apply plugin: 'signing'
signing { signing {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment