From 1c57b1deaba52155bf2af7f539888668f247f399 Mon Sep 17 00:00:00 2001
From: Miguel Serrano <mserranom@users.noreply.github.com>
Date: Tue, 15 Oct 2019 11:00:38 +0200
Subject: [PATCH] Disable project-history via settings (#125)

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

diff --git a/settings.coffee b/settings.coffee
index 3cb6a510b9..8a3cd1af1c 100644
--- a/settings.coffee
+++ b/settings.coffee
@@ -200,6 +200,8 @@ settings =
 		# is not available
 		v1:
 			url: ""
+		project_history:
+			enabled: false
 	references:{}
 	notifications:undefined