diff options
author | stuebinm | 2022-02-11 22:25:23 +0100 |
---|---|---|
committer | stuebinm | 2022-02-11 22:25:23 +0100 |
commit | 5e6a9d55217893144ba59305b9a90ad5c96663c1 (patch) | |
tree | 1d76c1f5477fc2508016abde11fee3bb87379a54 /walint.cabal | |
parent | a50ad3901377b30c5188ff3ebd519f8b0457c5eb (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 4aad7ac..397e317 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: |