Merge branch 'master' of github.com:hhu-stups/tla2bAST

* 'master' of github.com:hhu-stups/tla2bAST: fixed maven deployment Conflicts: build.gradle

Merge branch 'master' of github.com:hhu-stups/tla2bAST
87860019 · Jens Bendisposto · 00bdb299 · efd3b40a · 87860019
Commit 87860019 authored 9 years ago by Jens Bendisposto
--- a/build.gradle
+++ b/build.gradle
@@ -106,6 +106,7 @@ signing {
    sign configurations.archives
 }

+
 task javadocJar(type: Jar) {
 	 classifier = 'javadoc'
 	 from javadoc