1 Commits

Author SHA1 Message Date
Iustin Pop
26392d9ae4 Commit vscode settings
These are trivial, but in the future more might be configured centrally.
2025-02-08 21:18:28 +01:00