Update config

This commit is contained in:
2025-06-05 13:28:40 +02:00
parent 830265d91b
commit 315b9cfcfe
9 changed files with 77 additions and 18 deletions

Submodule lib/catch2 deleted from 506276c592

Submodule lib/json deleted from 48e7b4c23b

Submodule lib/mdlp deleted from 7d62d6af4a