Skip to content

[archived] "IDE Setup" docs discussion #8567

Closed Locked
giscus[bot] bot started this conversation in General
[archived] "IDE Setup" docs discussion #8567
@giscus giscus[bot] bot
May 2, 2022 · 1 comment
Return to top
Discussion options

giscus[bot]
bot May 2, 2022

You must be logged in to vote

Replies: 1 comment

Comment options

alexec
May 2, 2022 — with giscus
Collaborator

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/docs Incorrect, missing, or mistakes in docs
1 participant
@alexec