ansuz 44fe95c76b add titles to buttons on pad and code		2016-07-16 12:38:21 +02:00
..
index.html	workaround for favicon magic	2016-07-07 14:03:06 +02:00
inner.html	Completed adding of customization system and bottom infobar	2015-02-02 16:01:33 +01:00
main.js	add titles to buttons on pad and code	2016-07-16 12:38:21 +02:00