Sebastiaan van Stijn 342660f7cd js/anchorlinks.js: remove URL from generated links ...

Now that we no longer have a baseURL, we can simplify the generated
links to just contain the anchor. This also provents issues if the
visited page already has an anchor set.

Signed-off-by: Sebastiaan van Stijn <github@gone.nl>

2020-04-23 10:27:59 +02:00

..

2793990448.js

…

alljs.js

…

anchorlinks.js

js/anchorlinks.js: remove URL from generated links

2020-04-23 10:27:59 +02:00

app.js

Spelling revision

2018-09-23 21:43:11 +02:00

archive.js

Engine 18.03 (#6948)

2018-06-27 14:39:23 -07:00

archives.json

…

bootstrap.min.js

…

docs.js

docs.js: be slightly more consistent with double/single quotes

2020-03-14 09:10:35 +01:00

echo.515e8809.js

…

fbevents.js

…

forms2.min.js

…

glossary.js

…

highlight.pack.js

…

hopscotch.js

…

jquery.js

…

menu.js

…

metadata.js

Remove library samples from metadata.js

2019-09-04 00:37:40 +02:00

modernizr.min.js

…

munchkin.js

…

my_first_tour.js

Update my_first_tour.js

2019-01-11 14:44:33 -05:00

nr-943.min.js

…

prum.min.js

…

redoc.min.js

…

redoc.min.map

…

rtp.js

…

stickyfill.min.js

…

toc.js

…

track.js

…

XDFrame.html

…