Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Docs – How to use the IDE and what everything means #245

Closed
frantic0 opened this issue Apr 22, 2021 · 1 comment
Closed

Docs – How to use the IDE and what everything means #245

frantic0 opened this issue Apr 22, 2021 · 1 comment
Assignees
@frantic0
Labels
documentation addition feature request help wanted Extra attention is needed
Milestone
Stable frontend

Comments

@frantic0
Copy link
Contributor

No description provided.

@frantic0 frantic0 added this to the Stable frontend milestone Apr 22, 2021
@frantic0 frantic0 self-assigned this Apr 22, 2021
@smilo7
Copy link
Collaborator

smilo7 commented Oct 8, 2021

covered in #338

@smilo7 smilo7 closed this as completed Oct 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@frantic0 frantic0

Labels
documentation addition feature request help wanted Extra attention is needed
Projects
None yet
Milestone
Stable frontend
Development

No branches or pull requests
2 participants
@frantic0 @smilo7