diff options
author | stuebinm | 2022-03-23 02:35:58 +0100 |
---|---|---|
committer | stuebinm | 2022-03-23 02:35:58 +0100 |
commit | ac96dea6cb2972cd421b8d1c0fa15a6a47546e8d (patch) | |
tree | 6cff17db2af5c1aa506c2794c2332bd420eccdd8 /walint.cabal | |
parent | 8c02351376984147a3a630e1889e4d0095056aa6 (diff) |
server: add a "panic i'm on a train"-offline mode
(this also adds general cli arguments, but the main point is that
downloading monstrously large repositories is a silly idea when i'm on a
train with surprisingly bad wifi)
Diffstat (limited to 'walint.cabal')
-rw-r--r-- | walint.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/walint.cabal b/walint.cabal index aa5f7d3..703cf4a 100644 --- a/walint.cabal +++ b/walint.cabal @@ -162,6 +162,7 @@ executable walint-mapserver , extra , filepath , fmt + , getopt-generics , http-client , http-types , lucid |