diff options
| author | stuebinm | 2022-02-16 19:38:08 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-19 19:26:32 +0100 |
| commit | cc52022f3b099287f0ac57eb514753202ef47db2 (patch) | |
| tree | 7109a45592378292157acdbdf65ec60d11cbaf23 /lib/Properties.hs | |
| parent | 8272b6f16b0125382eb44cabd819859f29528a31 (diff) | |
server: post map updates to exneuland's API
Diffstat (limited to 'lib/Properties.hs')
0 files changed, 0 insertions, 0 deletions