summaryrefslogtreecommitdiff
path: root/lib/WriteRepo.hs
diff options
context:
space:
mode:
authorstuebinm2021-11-17 02:59:34 +0100
committerstuebinm2021-11-17 02:59:34 +0100
commitc74a9c7fcb6a9f03351f6ff35ea035d1e03f63a4 (patch)
tree6a83d87cb133c8ebb89ec34f56da40726dbf61f2 /lib/WriteRepo.hs
parent919f57bfb30ef2adda996bf708ba6d1f70c42945 (diff)
make map parser work with more maps
I found yet more properties that weren't really documented or weren't marked as optional, hurray!
Diffstat (limited to 'lib/WriteRepo.hs')
0 files changed, 0 insertions, 0 deletions