Martin Aeschlimann 07655f3a23 use remote cli when in remote terminal (#150372)		2022-05-25 16:21:16 +02:00
..
bin	…
debian	…
rpm	…
snap	…
code-url-handler.desktop	…
code-workspace.xml	…
code.appdata.xml	…
code.desktop	…
code.png	…