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:
authorLluis Sanchez Gual <lluis@xamarin.com>2014-05-02 20:18:35 +0400
committerLluis Sanchez Gual <lluis@xamarin.com>2014-05-02 20:18:35 +0400
commit95ac543f224a70960a9ab71e24ce341eb87de06f (patch)
tree42a7d20c583a23e605f71d22e66a1b610230a1c2
parente57ae9f2311fc55ef24684ecce3f99d7a6aff7b7 (diff)
-rw-r--r--version.config4
1 files changed, 2 insertions, 2 deletions
diff --git a/version.config b/version.config
index 363af4d2b9..3cffe71f1a 100644
--- a/version.config
+++ b/version.config
@@ -1,3 +1,3 @@
-Version=4.2.4
-Label=4.2.4
+Version=4.2.5
+Label=4.2.5
CompatVersion=4.0