yflory 56a25e1036 Small fixes for the new toolbar

2017-06-29 15:15:40 +02:00

..

less

Small fixes for the new toolbar

2017-06-29 15:15:40 +02:00

template.html

give main2.js a more sensible name

2017-06-22 11:06:11 +02:00