This repository was archived by the owner on Aug 31, 2022. It is now read-only.

Build tools release

zachleat released this 10 Nov 20:14

· 130 commits to master since this release

5c52daa

Fixes #64. Mostly a build tools update to upgrade dependencies (and get the latest tag on the David dependencies list), add Travis CI.

Assets 6