Remove module lib/catch2

This commit is contained in:
2024-05-12 11:04:42 +02:00
parent 9a752d15dc
commit b578ea8a2d
2 changed files with 1 additions and 2 deletions

Submodule lib/catch2 deleted from 029fe3b460