diff options
author | Luis Aguilera <luis.aguilera@xamarin.com> | 2017-10-06 21:59:10 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-06 21:59:10 +0300 |
commit | b349c8fc0c2e1aab0179917d56eed75eb3a03337 (patch) | |
tree | 2bf5392784981f0506b7ec765e1208f8d1c4bcb1 | |
parent | cab57de4a7f8c07b8d910d14fff83942cd3f02bf (diff) | |
parent | a4a6a4f7c46d9e9d33d089191f0f70fcccff8dfb (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.config | 4 |
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 |