You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tim Byrne 9fa5c9418c Refactor website (#146) ... * Migrate to using "remote themes" instead of forked content * Update to most recent mmistakes * Add docker-based testing * Create Makefile for test targets * Add travis-ci integration * Update badges to use shields.io * Replace splash page image (old one's attribution disappeared from unsplash.com)		6 years ago
..
navigation.yml	Refactor website (#146)	6 years ago