diff options
author | stuebinm | 2022-02-11 22:25:23 +0100 |
---|---|---|
committer | stuebinm | 2022-03-19 19:26:19 +0100 |
commit | 89ccd9e970fe1c736cd68ad6f1def666e5275e6b (patch) | |
tree | 0d014c8be8b16f0190fdca7f4618615cdefbd73a /walint.cabal | |
parent | 0d2ba6d9b66adb7755dc79fab4ac8f0d01d5db4a (diff) |
server: admin interface
(for now, just a list of all maps and their current status)
Diffstat (limited to '')
-rw-r--r-- | walint.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/walint.cabal b/walint.cabal index 3881a7f..d4ffcf6 100644 --- a/walint.cabal +++ b/walint.cabal @@ -61,7 +61,7 @@ executable server main-is: Main.hs other-modules: Handlers - Orphans + HtmlOrphans Server Paths_walint hs-source-dirs: |