diff options
| author | stuebinm | 2022-03-06 08:02:30 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-06 08:02:30 +0100 |
| commit | ad7343815cc89d34c68f7d38239882bd3d36a577 (patch) | |
| tree | acea8af8cdcbef8739cb8f4648e8f5d4783dcf5a /lib/KindLinter.hs | |
| parent | e0b01ceca72765246355662982ff35f19ad7dfbb (diff) | |
server: add a very simple relint button
Diffstat (limited to 'lib/KindLinter.hs')
0 files changed, 0 insertions, 0 deletions