ansuz 9860b7427a addition signs are slightly informative		2016-07-18 20:57:35 +02:00
..
index.html	addition signs are slightly informative	2016-07-18 20:57:35 +02:00
main.js	consistent ordering of columns and rows	2016-07-18 19:49:12 +02:00
table.js	height and width of the table are unreliable because of multiple users. remove them	2016-07-18 19:49:43 +02:00