Edmund Wu f8eed03044 vscode: patch proper executable		2019-04-18 08:41:32 +02:00
..
default.nix	vscode: patch proper executable	2019-04-18 08:41:32 +02:00
with-extensions.nix