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 |