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