From 2ac674f5c6d76f298c24deb3ea280c8f27df4b39 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Sat, 9 Jun 2012 18:44:10 +0100
Subject: [PATCH] Version no update to v0.7.2

---
 lib/config.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/config.php b/lib/config.php
index 1e7eaf5..64049ea 100644
--- a/lib/config.php
+++ b/lib/config.php
@@ -1,5 +1,5 @@
 <?php
-$versionNo		= "v 0.7.1";
+$versionNo		= "v 0.7.2";
 $codeMirrorDir		= "CodeMirror-2.25";
 $cMThisVer		= 2.25;
 $tabsIndent		= true;