Tue, 25 Aug 2020 22:34:26 +0300 | Teemu Piippo | bump year in license | changeset | files |
Tue, 25 Aug 2020 22:31:16 +0300 | Teemu Piippo | added ability to get other header elements than just the first one | changeset | files |
Tue, 25 Aug 2020 22:20:15 +0300 | Teemu Piippo | add some basic versioning | changeset | files |
Tue, 25 Aug 2020 22:10:04 +0300 | Teemu Piippo | move format_report_html to webfront.py | changeset | files |
Tue, 25 Aug 2020 22:08:30 +0300 | Teemu Piippo | made colors toggleable | changeset | files |
Tue, 25 Aug 2020 21:58:09 +0300 | Teemu Piippo | add comments | changeset | files |
Tue, 25 Aug 2020 21:31:41 +0300 | Teemu Piippo | move library-standards.ini to top directory | changeset | files |