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:
authorLuis Aguilera <luis.aguilera@xamarin.com>2017-10-06 21:59:10 +0300
committerGitHub <noreply@github.com>2017-10-06 21:59:10 +0300
commitb349c8fc0c2e1aab0179917d56eed75eb3a03337 (patch)
tree2bf5392784981f0506b7ec765e1208f8d1c4bcb1
parentcab57de4a7f8c07b8d910d14fff83942cd3f02bf (diff)
parenta4a6a4f7c46d9e9d33d089191f0f70fcccff8dfb (diff)
Merge pull request #3098 from mono/d15-4-remove-preview-brandingmonodevelop-7.2.0.636
Remove Preview moniker from builds
-rw-r--r--version.config4
1 files changed, 2 insertions, 2 deletions
diff --git a/version.config b/version.config
index 7c093ead18..62947275d5 100644
--- a/version.config
+++ b/version.config
@@ -1,4 +1,4 @@
Version=7.2
-Label=7.2 Preview
+Label=7.2
CompatVersion=7.0
-IsPreview=true
+IsPreview=false