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 05:05:20 +08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
d7ec407a7c80ab05532ccfc669a8faa965dbba69
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