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	vscode-with-extensions: only add flag if extensions > 0	2018-12-15 23:08:35 -05:00