diff options
author | stuebinm | 2022-02-15 22:28:24 +0100 |
---|---|---|
committer | stuebinm | 2022-02-15 22:28:24 +0100 |
commit | 358305b196e41ca88155fd0d71516cefe7e2732d (patch) | |
tree | 15b7348ec5e1683ccac141ea0ebebef56c996a1b /config.toml | |
parent | f228c99fd04d539b1aa0c84504b1d6e3f87aa2fe (diff) |
server: switch to universum prelude, some cleanup
it's slightly less of a mess than it was before
Diffstat (limited to '')
-rw-r--r-- | config.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config.toml b/config.toml index 94e189c..ff3ef8e 100644 --- a/config.toml +++ b/config.toml @@ -1,6 +1,7 @@ port = 8080 +verbose = true tmpdir = "/tmp" entrypoint = "main.json" |