Austin Seipp 5d17ad3ee9 editor: initialize .vscode settings directory ... These are basically always useful in vscode; turn them on. Note that there is an editorconfig plugin for vscode and we do have a `.editorconfig` file but these options aren't set due to an old intellj-rust bug. Signed-off-by: Austin Seipp <aseipp@pobox.com>		2024-09-04 14:26:40 -05:00
..
settings.json	editor: initialize .vscode settings directory	2024-09-04 14:26:40 -05:00