This repository was archived by the owner on Dec 25, 2023. It is now read-only.
This repository was archived by the owner on Dec 25, 2023. It is now read-only.
Backup third party libraries #66
Description
Currently added as git sub-modules, but if they are removed from GitHub we are up a creek without a paddle.