Eric Druid d34fb0993e fix: fetch search data as JSON rather than JS (#43) ... Fixes #42		2021-01-05 16:40:02 +01:00
..
js	fix: fetch search data as JSON rather than JS (#43)	2021-01-05 16:40:02 +01:00
search-data.json	fix: fetch search data as JSON rather than JS (#43)	2021-01-05 16:40:02 +01:00