Adam Leskis b730128ed5 update both jquery and bootstrap versions ... both the versions currently running have vulnerabilities, so this commit upgrades them to secure versions.		2020-11-11 20:22:59 +00:00
..
anchorlinks.js	…
bootstrap.min.js	update both jquery and bootstrap versions	2020-11-11 20:22:59 +00:00
docs.js	js/docs.js: small cleanup in walkTree() function	2020-10-26 18:58:12 +01: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.min.js	…
redoc.min.map	…
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	…