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/Types.hs | |
parent | e0b01ceca72765246355662982ff35f19ad7dfbb (diff) |
server: add a very simple relint button
Diffstat (limited to 'lib/Types.hs')
0 files changed, 0 insertions, 0 deletions