diff options
author | Kitson Kelly <me@kitsonkelly.com> | 2019-11-14 10:52:01 +1100 |
---|---|---|
committer | Ry Dahl <ry@tinyclouds.org> | 2019-11-13 18:52:01 -0500 |
commit | 9ffebd68eda7c815e50800d77f9e8673b6c39c48 (patch) | |
tree | 06530e8f3418b63369e41ad616b945cda899a5d9 /cli/ops/mod.rs | |
parent | dbf861f8a02f4a90ef68a4e2741b973becc53438 (diff) |
Ignore some files that facilitate editors. (#3337)
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.
Diffstat (limited to 'cli/ops/mod.rs')
0 files changed, 0 insertions, 0 deletions