diff options
| author | stuebinm | 2021-11-17 02:59:34 +0100 |
|---|---|---|
| committer | stuebinm | 2021-11-17 02:59:34 +0100 |
| commit | c74a9c7fcb6a9f03351f6ff35ea035d1e03f63a4 (patch) | |
| tree | 6a83d87cb133c8ebb89ec34f56da40726dbf61f2 /lib/CheckDir.hs | |
| parent | 919f57bfb30ef2adda996bf708ba6d1f70c42945 (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 '')
0 files changed, 0 insertions, 0 deletions