Commit Graph

155 Commits

Author SHA1 Message Date
Philipp Kühn
01e81752f5 improve types 2020-11-10 23:13:27 +01:00
Philipp Kühn
d3b4e7a1d4 fix build for now 2020-11-10 16:29:31 +01:00
Philipp Kühn
7d121eb39a improve build script 2020-11-10 09:21:47 +01:00
Hans Pagel
299ca72f3e whitespace 2020-09-24 15:44:07 +02:00
Philipp Kühn
9229de8881 add ordered list extension 2020-09-22 20:45:30 +02:00