Merge branch 'master' of github:fact-project/fact-tools

fact-project · Apr 6, 2016 · 65c5910 · 65c5910
2 parents f3cd334 + 87a88ba
commit 65c5910
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -4,7 +4,7 @@
   <groupId>de.sfb876</groupId>
   <artifactId>fact-tools</artifactId>
   <name>fact-tools</name>
-  <version>0.13.2</version>
+  <version>0.13.3</version>
   <url>http://sfb876.de/fact-tools/</url>
 
 	<description>