Skip to content
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
bear merged 10 commits into
masterfrom
circleci-and-update-setup-environment
Mar 17, 2016
Merged

setup environment to be more modern; tweak Makefile; convert to CircleCI#308
bear merged 10 commits into
masterfrom
circleci-and-update-setup-environment

Commits

Commits on Mar 16, 2016