diff options
author | Sven G. Brönstrup | 2021-12-20 12:00:41 +0100 |
---|---|---|
committer | Sven G. Brönstrup | 2021-12-20 12:00:41 +0100 |
commit | 61901841d04b824668cd0f382ee039573ebb9479 (patch) | |
tree | 18713971c40db3c65b4dcd2f3628403e0645d65c /lib/LintConfig.hs | |
parent | 76073dd28c46f59c247f09846f43bd92c016f8af (diff) | |
parent | 5c843aec6f9aafb37cf5d166e6ae74974e773daf (diff) |
Merge branch 'main' into extended-scripts
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions