Nils Winkler 0122497e6c Removed VS Code Plugin, since VS Code provides the `code` command out of ... the box now.		2020-05-13 10:25:36 +02:00
..
available	Removed VS Code Plugin, since VS Code provides the `code` command out of	2020-05-13 10:25:36 +02:00