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

Ignore some files that facilitate editors. #3337

Merged
merged 1 commit into from
Nov 13, 2019
Merged

Conversation

kitsonk
Copy link
Contributor

@kitsonk kitsonk commented Nov 13, 2019

Using an editor, such as VSCode, some of the plugins require some
files locally to provide a good editing experience. These were
removed from the repo, but allowing people to add them back locally
but ensure they don't end up committed by accident would be helpful.

Using an editor, such as VSCode, some of the plugins require some
files locally to provide a good editing experience.  These were
removed from the repo, but allowing people to add them back locally
but ensure they don't end up committed by accident would be helpful.
Copy link
Member

@ry ry left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@ry ry merged commit 9ffebd6 into denoland:master Nov 13, 2019
bartlomieju pushed a commit to bartlomieju/deno that referenced this pull request Dec 28, 2019
Using an editor, such as VSCode, some of the plugins require some
files locally to provide a good editing experience.  These were
removed from the repo, but allowing people to add them back locally
but ensure they don't end up committed by accident would be helpful.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants