4 Commits

Include renames

Author	SHA1	Message	Date
Matthias Radestock	8406d08b77	make it work on non-BSD-ish systems ... Fixes #199	2014-11-18 15:38:17 +00:00
Michael Bridgen	04ed4aef6c	Script to publish gh-pages to site ... Ideally to be used after merging changes from master with `./bin/merge-into-gh-pages`	2014-11-14 14:08:45 +00:00
Michael Bridgen	eeff76dbd7	Script to merge master/site into gh-pages	2014-11-14 14:00:22 +00:00
Matthias Radestock	eb5548b1c3	move docker-ns	2014-10-22 14:29:18 +01:00