55 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	89a5b18cae	refactoring	2020-09-26 11:28:48 +02:00
Hans Pagel	6190380e75	add new collaboration cursor plugin	2020-09-26 11:03:17 +02:00