4 Commits

Author	SHA1	Message	Date
Henning Dieterichs	927b5bbc45	Updates visualization playground.	2020-03-22 14:17:54 +01:00
Henning Dieterichs	a1f003b03c	Removes webview playground.	2020-03-21 15:33:47 +01:00
Henning Dieterichs	af52efdc51	Sets a proper title of the webpage.	2020-03-16 19:21:24 +01:00
Henning Dieterichs	5318b5e4ae	Moved "extension/ui" to "webview", removed "shared".	2020-02-29 21:31:22 +01:00