From f2e25603b173bfb900b12189e0374d14803bf74c Mon Sep 17 00:00:00 2001 From: Wouter Date: Wed, 17 Jan 2018 14:32:39 +0100 Subject: [PATCH] ENV-1332 preparing release --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index e0d07f3..5f15349 100644 --- a/pom.xml +++ b/pom.xml @@ -12,7 +12,7 @@ eishub vacuumworld - 1.2.0-SNAPSHOT + 1.2.0 vacuumworld vacuumworld @@ -66,7 +66,7 @@ A gridworld where dust needs to be removed by a set of bots. eishub eis - 0.6.0-SNAPSHOT + 0.6.0