Skip to content
Snippets Groups Projects
Commit 52d0d9df authored by stuebinm's avatar stuebinm
Browse files

server: decrease default lint interval

parent ab67f068
Branches
Tags
No related merge requests found
...@@ -6,7 +6,7 @@ verbose = true ...@@ -6,7 +6,7 @@ verbose = true
tmpdir = "/tmp" tmpdir = "/tmp"
# linting interval in seconds # linting interval in seconds
interval = 10 interval = 36000
# where to post map updates to # where to post map updates to
# exneuland = "http://localhost:4000" # exneuland = "http://localhost:4000"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment