This website requires JavaScript.
Explore
Help
Sign In
opensource
/
coder
Watch
3
Star
0
Fork
0
mirror of
https://github.com/coder/coder.git
synced
2026-09-22 13:10:21 +08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
3eb6f28d81dda3bdcdc210c10494dd0e49f12279
coder
/
docs
/
ides
T
History
Ammar Bandukwala
f28d14197a
Rename default agent to "main" instead of "dev" (
#3150
)
...
Resolves
#3143
2022-07-23 20:26:56 +00:00
..
configuring-web-ides.md
Rename default agent to "main" instead of "dev" (
#3150
)
2022-07-23 20:26:56 +00:00