3 commits

Author	SHA1	Message	Date
Dag Wieers	ba370b178d	docsite: Add 'Edit on GitHub' for module docs (#36667) ... This is something I always wanted, a 'Edit on GitHub' button for module documentation. I also removed the additional statement in the footer with instructions on how to edit the module documentation. PS The links go directly into the GitHub file editor now !	2018-02-24 03:57:37 +01:00
Brian Coca	2a5d949c52	corrected path to edit docs on devel to new loc ... fixes #20474	2017-01-19 14:01:18 -05:00
Brian Coca	57f8b791d6	consolidated docs ... point to new doc locations removed non existing dirs	2017-01-06 09:16:59 -05:00

Renamed from docsite/_themes/srtd/breadcrumbs.html (Browse further)