Commit Graph

3 Commits

Author SHA1 Message Date
Philipp Kühn
01e81752f5 improve types 2020-11-10 23:13:27 +01:00
Philipp Kühn
7d121eb39a improve build script 2020-11-10 09:21:47 +01:00
Hans Pagel
1fc7a6b37e add basic highlight extension 2020-10-02 15:28:00 +02:00