This repository was archived by the owner on Aug 7, 2024. It is now read-only.
setup environment to be more modern; tweak Makefile; convert to CircleCI - #308
Merged
Commits
Commits on Mar 16, 2016
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed