tamo 13ce0ebb87 stop requestings the facets if the user has hidden them		2021-03-31 16:27:32 +02:00
..
bulma-prefers-dark.min.css	Move the http server into its own sub-module	2020-11-05 11:16:39 +01:00
bulma.min.css	Move the http server into its own sub-module	2020-11-05 11:16:39 +01:00
filesize.min.js	Move the http server into its own sub-module	2020-11-05 11:16:39 +01:00
jquery-3.4.1.min.js	Move the http server into its own sub-module	2020-11-05 11:16:39 +01:00
logo-black.svg	Fix the milli logo in the README	2020-11-05 11:43:47 +01:00
logo-white.svg	Fix the milli logo in the README	2020-11-05 11:43:47 +01:00
script.js	stop requestings the facets if the user has hidden them	2021-03-31 16:27:32 +02:00
style.css	add a button to display or hide the facets	2021-03-31 16:18:53 +02:00
updates-script.js	Allow users to abort pending updates, one by one or all at once	2020-12-01 14:51:05 +01:00