Tim Bannister d38b7b4675 Change name for banner script ... Align with informal naming convention.		2024-10-27 17:01:32 +00:00
..
banner-dismiss.js	Change name for banner script	2024-10-27 17:01:32 +00:00
glossary.js	Restyle glossary page	2024-08-14 14:16:47 +01:00
mermaid-10.6.1.min.js	Redo Mermaid shortcode	2024-08-27 14:45:01 +01:00
release_binaries.js	Redo release-binaries shortcode	2024-08-09 01:49:05 +01:00
search.js	Replace Bing with PageFind search for users in China	2024-07-03 15:36:58 +01:00
sortable-table.js	Ready sortable table support for Docsy	2024-05-24 13:44:48 +01:00
sweetalert-2.1.2.min.js	Revise Sweetalert asset load	2024-08-14 00:05:51 +01:00
zoom.js	Refine click-to-zoom for Docsy	2024-08-07 01:00:52 +01:00