docker/docker — pull request #8530 by SvenDowideit (2014-10-13 06:33:12+00:00)
Title: Turn off editing for auto-generated index pages, and scroll the user to the right section

Docker-DCO-1.1-Signed-off-by: Sven Dowideit (github: SvenDowideit)

closes #5466