Archived
1
0
This repository has been archived on 2024-09-09. You can view files and clone it, but cannot push or open issues or pull requests.
code-server/patches
Olivier Benz 788da5d495
Update Code to 1.80.1 (#6340)
* Update Code to 1.80.1 (#6340)
* Give build workflow more time to run
2023-07-19 14:00:31 -08:00
..
base-path.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
cli-window-open.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
disable-builtin-ext-update.diff Update Code to 1.75.0 (#6004) 2023-02-07 16:22:06 -06:00
disable-downloads.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
display-language.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
getting-started.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
github-auth.diff chore: update Code to 1.68 (#5263) 2022-06-21 21:51:46 +00:00
insecure-notification.diff Update to 1.71 (#5535) 2022-09-09 16:28:54 +00:00
integration.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
local-storage.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
logout.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
marketplace.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
proposed-api.diff Update Code to 1.77.1 (#6135) 2023-04-10 10:28:13 -08:00
proxy-uri.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
series chore: upgrade Code to 1.73.0 (#5751) 2022-11-09 22:10:03 +00:00
service-worker.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
sourcemaps.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
store-socket.diff Set session socket into environment variable (#6282) 2023-06-21 22:47:01 -08:00
telemetry.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
unique-db.diff chore: update Code to 1.72.2 (#5650) 2022-10-17 16:30:39 -07:00
update-check.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00
webview.diff Update Code to 1.80.1 (#6340) 2023-07-19 14:00:31 -08:00