This repository has been archived on 2025-09-03. You can view files and clone it, but cannot push or open issues or pull requests.

Bauke 8fdeb6dc1a Update VSCode settings.		2024-08-10 12:16:52 +02:00
..
settings.json	Update VSCode settings.	2024-08-10 12:16:52 +02:00