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-21 20:51:01 +08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
1ddff0abcd265573dbe6e972b2dec82f7696eece
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