From 36b2a9aed1d0961dd176a8ef4497824a06012239 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 6 Mar 2022 15:05:45 +0100
Subject: server: decrease default lint interval

---
 config.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.toml b/config.toml
index 2e60b4b..b0b99b9 100644
--- a/config.toml
+++ b/config.toml
@@ -6,7 +6,7 @@ verbose = true
 tmpdir = "/tmp"
 
 # linting interval in seconds
-interval = 10
+interval = 36000
 
 # where to post map updates to
 # exneuland = "http://localhost:4000"
-- 
cgit v1.2.3