neri 48005123de increase margin-top of buttons		2021-12-20 01:06:45 +01:00
..
copy.js	make copying more generic and hide when unsupported	2021-12-20 01:05:38 +01:00
index.css	increase margin-top of buttons	2021-12-20 01:06:45 +01:00
index.html	cache index.html and auth-hide.js in static directory	2021-12-08 18:54:55 +01:00