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