Sun, 23 Jun 2019 00:26:10 +0300 | Teemu Piippo | made problems be copied more nicely from the web front end | file | diff | annotate |
Sat, 08 Jun 2019 01:51:50 +0300 | Teemu Piippo | changed severity names to be better understood | file | diff | annotate |
Wed, 31 Jan 2018 14:34:23 +0200 | Santeri Piippo | Reworked web front, problems are now sorted by category as well as line number | file | diff | annotate |