Chris Ainsworth-Patrick 2d6c65f9bf Update redoc to latest version

2022-06-01 11:23:48 +01:00

..

anchorlinks.js

cleanup anchorlinks script

2020-10-15 15:10:41 +02:00

bootstrap.min.js

update both jquery and bootstrap versions

2020-11-11 20:22:59 +00:00

docs.js

Update download-links

2021-08-31 14:35:20 +00:00

jquery.js

update both jquery and bootstrap versions

2020-11-11 20:22:59 +00:00

metadata.json

Replace "hide_from_sitemap" with "sitemap: false"

2020-10-21 15:09:11 +02:00

redoc.standalone.js

Update redoc to latest version

2022-06-01 11:23:48 +01:00

redoc.standalone.js.map

Update redoc to latest version

2022-06-01 11:23:48 +01:00

search.js

js/search.js: rewrite local search autocomplete and update styling

2020-10-15 17:20:28 +02:00

theme-switcher.js

js/search.js: rewrite local search autocomplete and update styling

2020-10-15 17:20:28 +02:00

toc.json

Load toc.js asynchronously as JSON

2020-10-14 22:08:50 +02:00