diff options
author | stuebinm | 2021-09-20 01:26:27 +0200 |
---|---|---|
committer | stuebinm | 2021-09-20 01:26:27 +0200 |
commit | 968038c403e71b98a8f55a4d79e64beca8349ab3 (patch) | |
tree | 4a53190972b3f5a7c12a9a463856d7d4600fe75f /lib/Types.hs | |
parent | 33d2b0c5da01c48c8106876665e646e1d2f560e9 (diff) |
lint general map properties
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions