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

Steffen Jost 495fdd18dd refactor(icons): only allow semantics icons from now on		2019-07-24 15:03:35 +02:00
..
Instances.hs	refactor(icons): only allow semantics icons from now on	2019-07-24 15:03:35 +02:00