Remove modules

This commit is contained in:
2025-05-08 17:15:42 +02:00
parent 50fde9521b
commit 7d3a2dd713
9 changed files with 1 additions and 28 deletions

Submodule lib/Files deleted from 18c79f6d48

Submodule lib/argparse deleted from cbd9fd8ed6

Submodule lib/catch2 deleted from 914aeecfe2

Submodule lib/folding deleted from 9652853d69

Submodule lib/json deleted from 48e7b4c23b

Submodule lib/mdlp deleted from cfb993f5ec