Christoph Blecker ac86803a74 Remove docs/ other than auto generated		2017-06-01 23:10:47 -07:00
..
docker.md	replace contents of docs/devel with stubs	2016-12-21 20:26:48 -05:00
local.md	replace contents of docs/devel with stubs	2016-12-21 20:26:48 -05:00
vagrant.md	replace contents of docs/devel with stubs	2016-12-21 20:26:48 -05:00