diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 18:30:28 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 18:30:28 +0200 |
commit | 8c54c8fce1629b4d23c25f24060e00759f0f850b (patch) | |
tree | c684582ee4626d4f83c1df0374dc2bcdcf62e5a6 /docs/_includes/toc.html | |
parent | 10ff9494165210b22eb80e989fc10c3ebf393bae (diff) | |
download | dotty-8c54c8fce1629b4d23c25f24060e00759f0f850b.tar.gz dotty-8c54c8fce1629b4d23c25f24060e00759f0f850b.tar.bz2 dotty-8c54c8fce1629b4d23c25f24060e00759f0f850b.zip |
Remove relative links for markdown plugin
This plugin caused the Github site builder to kill the build (github has
a limited number of trusted plugins - this wasn't one of them).
Diffstat (limited to 'docs/_includes/toc.html')
0 files changed, 0 insertions, 0 deletions