diff options
| author | stuebinm | 2021-10-28 23:15:55 +0200 |
|---|---|---|
| committer | stuebinm | 2021-10-30 15:44:25 +0200 |
| commit | 34c1949525e711beaeb6465a54338ec3bd811712 (patch) | |
| tree | 2ff70ab49bdbeefcbbc36dfc82af73ab38c8c896 /lib/Properties.hs | |
| parent | d2983b867a106ee0581d8dc1d8f413178cdd4027 (diff) | |
flipping the output map structure
for now, just with layers. Instead of listing by layer (and giving
lints multiple times), list by lint type (and list all layers in which
this lint was applicable).
This is a bit wonky for now, but readability of output is much better.
Diffstat (limited to 'lib/Properties.hs')
0 files changed, 0 insertions, 0 deletions