diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-08-15 14:15:29 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-08-15 14:15:29 +0200 |
| commit | f7f75167accd1fb91238b05f30a280bf115baddf (patch) | |
| tree | 0869ace7512050474fa21229bf19333bd9b8a476 /.github/ci | |
| parent | 253b28debaf13d839087a2b9160f416f4be22438 (diff) | |
cleanup vscode settings.
Diffstat (limited to '.github/ci')
0 files changed, 0 insertions, 0 deletions