Skip to content

Conversation

azaslavsky
Copy link
Contributor

A nicety that allows VSCode-based developers to set custom settings and launch configurations for this project at their leisure.

@azaslavsky azaslavsky marked this pull request as ready for review May 27, 2024 05:24
@alexcrichton
Copy link
Member

Thanks! I've fixed CI in #1581 and if you don't mind rebasing this after that lands I can flag this for merge.

@pchickey
Copy link
Contributor

pchickey commented May 28, 2024

Rather than the wasmtime repo need to anticipate the files used by editors, could you use a global gitignore on your system to exclude .vscode? https://stackoverflow.com/questions/7335420/global-git-ignore

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.

3 participants