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.

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

Prompt users (once!) to use recommended settings #1946

Closed
DanTup opened this issue Aug 26, 2019 · 0 comments
Closed

Prompt users (once!) to use recommended settings #1946

DanTup opened this issue Aug 26, 2019 · 0 comments
Labels
in editor Relates to code editing or language features is enhancement
Milestone

Comments

@DanTup
Copy link
Member

DanTup commented Aug 26, 2019

No description provided.

@DanTup DanTup added is enhancement in editor Relates to code editing or language features labels Aug 26, 2019
@DanTup DanTup added this to the v3.5.0 milestone Aug 26, 2019
@DanTup DanTup modified the milestones: v3.5.0, v3.6.0 Oct 2, 2019
@DanTup DanTup modified the milestones: v3.6.0, v3.7.0 Oct 28, 2019
@DanTup DanTup modified the milestones: v3.7.0, v3.8.0 Nov 19, 2019
@DanTup DanTup modified the milestones: v3.8.0, v3.9.0 Jan 2, 2020
@DanTup DanTup modified the milestones: v3.9.0, On Deck Mar 11, 2020
@DanTup DanTup modified the milestones: On Deck, v3.12.0 May 28, 2020
@DanTup DanTup closed this as completed in fa89dad Jun 16, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
in editor Relates to code editing or language features is enhancement
Projects
None yet
Development

No branches or pull requests

1 participant