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
..
search	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
theme_daux	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