diff options
| author | stuebinm | 2021-12-23 23:23:38 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-23 23:25:01 +0100 |
| commit | 921f49fa34b3f363757f53d05f640023c143a287 (patch) | |
| tree | 2ba2265b05d250aa3a00a9b0432f400ee21905d1 /lib/WriteRepo.hs | |
| parent | 1260829bd6cd513fa3f20467ced370480ac71842 (diff) | |
extra lint for people confused by badges
tbh I'm confused by them as well
Diffstat (limited to 'lib/WriteRepo.hs')
0 files changed, 0 insertions, 0 deletions