Merge pull request #1801 from philsmd/noproduction

Set github master to non-production mode
pull/1803/head
Jens Steube 6 years ago committed by GitHub
commit 0076f4075b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,3 +1,5 @@
* changes v5.1.0 -> v5.x.x
* changes v5.0.0 -> v5.1.0
##

@ -5,7 +5,7 @@
SHARED := 0
DEBUG := 0
PRODUCTION := 1
PRODUCTION := 0
PRODUCTION_VERSION := v5.1.0
ENABLE_BRAIN := 1
USE_SYSTEM_LZMA := 0

Loading…
Cancel
Save