diff options
| author | stuebinm | 2021-12-12 19:57:25 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-12 19:57:25 +0100 |
| commit | de1b45be15f8bd1a2cba3491b6d0a17aeb3c8f3d (patch) | |
| tree | c4ce1ea1a9229f5c5d4842081b93b5125ab3f2ae /lib/WriteRepo.hs | |
| parent | 31341b2ca45043c04750c7dee64fdf68ad142450 (diff) | |
downgrad mapCopyright lint to suggestion
(as per today's discussion with tabascoeye, mapCopyright should not be
required, though I've left it as recommended)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions