archive-gh-me/gitpod
1
0
Fork 0
mirror of https://github.com/gitpod-io/gitpod.git synced 2025-12-08 17:36:30 +00:00
Code Issues Projects Releases Wiki Activity
gitpod/components/ide
History
Victor Nogueira 72c01b0d9b Avoid shutting down terminals when closing JetBrains Client 
Instead, close the widgets and reopen then when the client joins again.
2023-01-03 17:15:43 +01:00
..
code
Autofix: upgrade-nvm-tools
2022-12-16 06:37:25 -03:00
code-desktop
Switch license to AGPL
2022-12-08 13:05:19 -03:00
jetbrains
Avoid shutting down terminals when closing JetBrains Client
2023-01-03 17:15:43 +01:00