João Moreno 09bc6fc64b Migrate to new deb repo (#114527) ...

* migrate to new deb repo

* improve deb migration

2021-01-18 14:43:24 +01:00

..

completions

Adjust references to --list-extensions option

2020-12-18 09:54:56 -08:00

darwin

…

linux

Migrate to new deb repo (#114527)

2021-01-18 14:43:24 +01:00

web

Better simulate real-life CORS in code-web server

2020-12-29 23:38:37 +01:00

win32

code.sh: Prevent stealing of stdin (for #99815)

2020-10-16 22:45:38 +02:00