diff options
| author | stuebinm | 2022-03-06 16:21:24 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-19 19:59:05 +0100 |
| commit | 11417fc194673decbfcb6e8b7e3da0af203feff1 (patch) | |
| tree | 1b7bf63332fb2ce0dc482e956a29591dabc599a5 /lib/CheckDir.hs | |
| parent | 52d0d9df734cd6eaace2c8d062ef8c5b67830356 (diff) | |
walint: some marginally nicer code
Diffstat (limited to 'lib/CheckDir.hs')
0 files changed, 0 insertions, 0 deletions