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
..
google_analytics.php
navbar_content.php	Replace tipuesearch's jQuery with a mix of JS and preact	2019-09-18 23:16:35 +02:00
piwik_analytics.php
search_script.php	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
table_of_contents.php
twitter_buttons.php	Remove iframe on Twitter for twitter follow buttons	2019-09-22 20:26:26 +02:00