Sören Weber 8c7896af4c clipboard: removed jquery #224 ... this was an unsuccessful attempt to fix #224 but as we want to get rid of jQuery in the long run anyways, we keep this change		2022-03-25 15:35:19 +01:00
..
auto-complete.js	auto-complete: document change #155	2021-11-19 22:18:36 +01:00
clipboard.min.js	theme: remove typos and superflous whitespace	2021-08-23 23:51:52 +02:00
featherlight.min.js	update js	2019-04-01 22:31:07 +01:00
jquery.min.js	maintenance: upgrade jquery to 3.6.0 #30	2021-07-25 22:33:18 +02:00
jquery.svg.pan.zoom.js	mermaid: let zoom reset to initial size #145	2021-11-09 21:14:34 +01:00
lunr.min.js	update js	2019-04-01 22:31:07 +01:00
mermaid.min.js	mermaid: update to 8.14.0 #220	2022-03-19 20:16:48 +01:00
perfect-scrollbar.min.js	chore: upgrade perfect-scrollbar #210	2022-02-25 21:41:50 +01:00
search.js	search: make dropdown stick to search field when scrolling #155	2021-11-16 01:16:31 +01:00
theme.js	clipboard: removed jquery #224	2022-03-25 15:35:19 +01:00
variant.js	mermaid: support differing themes for color variant switch #219	2022-03-19 20:18:21 +01:00