yflory 716245f864 Make all the buttons look the same		2017-05-15 16:16:50 +02:00
..
index.html	reorganize some html tags for smaller diffs	2017-03-29 18:38:06 +02:00
inner.html	Make all the buttons look the same	2017-05-15 16:16:50 +02:00
links.js	remove unused variables	2017-05-04 16:16:09 +02:00
main.js	Move code to common-history	2017-05-10 13:39:14 +02:00