Release 0.7.2

[grauphel.git] / appinfo / version

diff --git a/appinfo/version b/appinfo/version
index faef31a4357c48d6e4c55e84c8be8e3bc9055e20..7486fdbc50b3f93d9d04db440483984df5d1dcce 100755 (executable)
--- a/appinfo/version
+++ b/appinfo/version
@@ -1 +1 @@
-0.7.0
+0.7.2