Eric Druid d34fb0993e fix: fetch search data as JSON rather than JS (#43) ... Fixes #42		2021-01-05 16:40:02 +01:00
..
clipboard.min.js	hash css/js assets by default	2020-11-22 19:06:04 +01:00
flexsearch.min.js	hash css/js assets by default	2020-11-22 19:06:04 +01:00
groupBy.min.js	Group search by sections	2020-12-20 22:43:12 +01:00
mermaid.min.js	hash css/js assets by default	2020-11-22 19:06:04 +01:00
mermaid.min.js.map	hash css/js assets by default	2020-11-22 19:06:04 +01:00
search.js	fix: fetch search data as JSON rather than JS (#43)	2021-01-05 16:40:02 +01:00