diff options
| author | stuebinm | 2022-03-28 17:07:03 +0200 |
|---|---|---|
| committer | stuebinm | 2022-03-28 17:07:03 +0200 |
| commit | 82082e8b6f02f7fa003f8cf311122fa013ae641e (patch) | |
| tree | 16f19da05557e1802539b4fd3578be5f532b2d10 /lib/KindLinter.hs | |
| parent | d15920f72891db83a9b3a96d71a8d31c0f0920a0 (diff) | |
server: show helpful information for result
This includes the backlink to the lobby (auto-generated only for now)
and a "help!"-button for sending mails. Also general info regarding
which commit was linted / published.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions