Christoph Blecker ac86803a74 Remove docs/ other than auto generated		2017-06-01 23:10:47 -07:00
..
docker.md	README: Update obsolete link	2017-03-17 12:15:35 -04:00