Stéphane Goetz e796fad862 rename _libraries to daux_libraries and _search_index to daux_search_index otherwise github pages makes the files invisible		2019-09-23 22:10:07 +02:00
..
Pagination.js	Use flexsearch to power search	2019-09-19 22:00:34 +02:00
Result.js	Use flexsearch to power search	2019-09-19 22:00:34 +02:00
Search.js	Use flexsearch to power search	2019-09-19 22:00:34 +02:00
index.js	rename _libraries to daux_libraries and _search_index to daux_search_index otherwise github pages makes the files invisible	2019-09-23 22:10:07 +02:00
translation.js	Use flexsearch to power search	2019-09-19 22:00:34 +02:00