Unrud a26d90d8d7 Web interface: Delete empty properties		2017-07-22 23:32:26 +02:00
..
css	Remove font from web interface	2017-06-01 16:10:17 +02:00
fn.js	Web interface: Delete empty properties	2017-07-22 23:32:26 +02:00
index.html	Web interface: Wrapping of URLs, titles, ...	2017-06-04 15:42:33 +02:00