From d64b29de7624a917b1b70ce50e71cc378e8b5d34 Mon Sep 17 00:00:00 2001
From: Andrea Dell'Amico <adellam@isti.cnr.it>
Date: Tue, 31 Jul 2018 19:52:10 +0200
Subject: [PATCH] settings.coffee: set the 'collaborators' value to '-1' as in
 the default file.

---
 settings.coffee | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/settings.coffee b/settings.coffee
index 00eef7a..96e0c7d 100644
--- a/settings.coffee
+++ b/settings.coffee
@@ -340,7 +340,7 @@ settings =
 	notifications:undefined
 
 	defaultFeatures:
-		collaborators: true
+		collaborators: -1
 		dropbox: true
 		versioning: true
 		compileTimeout: 3600