Skip to content

Adding ./checks.sh for contributors, and easier dev-tool setup#133

Merged
scosman merged 1 commit intomainfrom checksAug 29, 2024