diff options
author | stuebinm | 2022-03-06 17:57:44 +0100 |
---|---|---|
committer | stuebinm | 2022-03-06 17:57:44 +0100 |
commit | c79dd30b1e335a536df80d0e60b0bca8c9dc5141 (patch) | |
tree | 0580fe01318f490bfb95b2278ed1e10e4fbaeba3 /cwality-maps/Substitute.hs | |
parent | 83bfdb5600e4888648272eaf85c25f0af944a4f3 (diff) |
fix cwality-maps
whoops, forgot this earlier
Diffstat (limited to 'cwality-maps/Substitute.hs')
0 files changed, 0 insertions, 0 deletions