Commit Graph

5 Commits

Author SHA1 Message Date
Philipp Kühn
6746163dda add AllExtensions interface 2020-10-22 22:40:40 +02:00
Philipp Kühn
79172753ef add new syntax to all extensions 2020-10-22 12:34:49 +02: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
Hans Pagel
90f127b8a6 refactor collaboration extension 2020-09-26 10:43:08 +02:00