This repository has been archived on 2024-05-18. You can view files and clone it, but cannot push or open issues or pull requests.

Jan Schär 9e9cfaabea Update after finals 2023		2023-06-01 15:25:01 +02:00
..
extension.js	Update after finals 2023	2023-06-01 15:25:01 +02:00
metadata.json	Initial commit	2022-07-15 11:59:26 +02:00
stylesheet-always.css	Initial commit	2022-07-15 11:59:26 +02:00