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 /lib/Properties.hs | |
| parent | 0d2ba6d9b66adb7755dc79fab4ac8f0d01d5db4a (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