Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPJ Beaman <pj@xamarin.com>2014-06-18 05:33:47 +0400
committerPJ Beaman <pj@xamarin.com>2014-06-18 05:33:47 +0400
commit00346606c36617d7d4cc21d33207e44abef8137a (patch)
tree5a86c13c468cac4478a91c90bac57c662db34540
parentdf24bf3efa9a35246f67df77e10367deaa6095d2 (diff)
Updated version number to 5.1.1
-rw-r--r--version.config4
1 files changed, 2 insertions, 2 deletions
diff --git a/version.config b/version.config
index 8183e6bfbe..5ba5972649 100644
--- a/version.config
+++ b/version.config
@@ -1,3 +1,3 @@
-Version=5.1
-Label=5.1
+Version=5.1.1
+Label=5.1.1
CompatVersion=5.0