Revert pom.xml version change.

dhendriks · dhendriks · commit 953e8b8daed3 · 2020-03-13T16:56:39.000+01:00
diff --git a/pom.xml b/pom.xml
@@ -4,7 +4,7 @@
 
     <groupId>com.github.com-github-javabdd</groupId>
     <artifactId>com.github.javabdd</artifactId>
-    <version>1.0.1-SNAPSHOT</version>
+    <version>1.0.0-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>com.github.javabdd</name>
