diff --git a/pom.xml b/pom.xml index a30211a..511c2e3 100644 --- a/pom.xml +++ b/pom.xml @@ -3,12 +3,12 @@ org.rascalmpl drambiguity - 0.1.2-SNAPSHOT + 0.1.2 jar scm:git:ssh://git@github.com/cwi-swat/drambiguity.git - HEAD + v0.1.2