Skip to content
Snippets Groups Projects
Commit ca1e4226 authored by dohan's avatar dohan
Browse files

Merge branch 'release/1.0.9' into develop

parents 0fc0a1f6 8bd19523
Branches
Tags
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.0.9-SNAPSHOT' project.version = '1.0.9'
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