shift-shell/.reuse
Marco Allegretti 39e5a504a3 Ignore VS Code workspace files
Remove the checked-in workspace file and ignore local VS Code
workspace files going forward.
2026-05-06 08:27:13 +02:00
..
dep5 Ignore VS Code workspace files 2026-05-06 08:27:13 +02:00