9fa5c9418c
* 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) |
||
---|---|---|
.. | ||
navigation.yml |