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:
authorGreg Munn <greg@sgmunn.com>2017-05-16 21:49:43 +0300
committerGreg Munn <greg@sgmunn.com>2017-05-16 21:49:43 +0300
commitb6149ff5969684b2291d30ac00fc7830db186733 (patch)
treed7d852d27fdfc8a06bdc7db0850b631ea9bc133a /version.config
parent97de56d2f4d87c62fd9aee5e0d663b82048480e1 (diff)
[Build] Introduce new `is-preview` command to configure.sh
Diffstat (limited to 'version.config')
-rw-r--r--version.config1
1 files changed, 1 insertions, 0 deletions
diff --git a/version.config b/version.config
index 0cfb67feba..fa657ecd90 100644
--- a/version.config
+++ b/version.config
@@ -1,3 +1,4 @@
Version=7.1
Label=7.1 Preview
CompatVersion=7.0
+IsPreview=true \ No newline at end of file