changelog
made problems be copied more nicely from the web front end
- Sun, 23 Jun 2019 00:26:10 +0300
- by Teemu Piippo <teemu@hecknology.net> [Sun, 23 Jun 2019 00:26:10 +0300] rev 72
- made problems be copied more nicely from the web front end
fix capitalization
- Sun, 23 Jun 2019 00:07:55 +0300
- by Teemu Piippo <teemu@hecknology.net> [Sun, 23 Jun 2019 00:07:55 +0300] rev 71
- fix capitalization
