update to upstream dev-tree

[lifetype/.git] / version.php

diff --git a/version.php b/version.php
index 0c4fb339eb28e3e02713d29f78c16daf2a530e91..94ebf8367ff5771e99457a50dd34604bca3c610e 100644 (file)
--- a/version.php
+++ b/version.php
@@ -1,3 +1,3 @@
 <?php
-$version = "lifetype-1.2.12_r7211";
+$version = 'lifetype-1.2.13-dev';
 ?>