Re:GitHub Codespaces
by dbjorge on Wednesday May 06, 2020 @02:02PM
(#23094276)
The article notes near the top that extensions are supported, and also answers your other questions.
[ Parent
| on HN ]
There are no comments on this comment yet.