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 /lib/WriteRepo.hs | |
| parent | a50ad3901377b30c5188ff3ebd519f8b0457c5eb (diff) | |
server: admin interface
(for now, just a list of all maps and their current status)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions