Skip to content
Snippets Groups Projects
Commit ac72ee7b authored by Michael Leuschel's avatar Michael Leuschel
Browse files

Merge remote-tracking branch 'origin/develop'

parents 184416da 27108b32
No related branches found
No related tags found
No related merge requests found
...@@ -4,7 +4,7 @@ apply plugin: 'maven' ...@@ -4,7 +4,7 @@ apply plugin: 'maven'
//apply plugin: 'jacoco' //apply plugin: 'jacoco'
apply plugin: 'findbugs' apply plugin: 'findbugs'
project.version = '1.1.1' project.version = '1.1.2-SNAPSHOT'
project.group = 'de.hhu.stups' project.group = 'de.hhu.stups'
project.archivesBaseName = "tla2bAST" project.archivesBaseName = "tla2bAST"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment