Candid Dauth c2120e085d Add "Exit collaborative map" button to toolbox (fixes #32)		2018-03-18 19:15:38 +01:00
..
toolbox.css	Allow only one interaction to happen at the same time (#74)	2017-12-25 17:12:26 +01:00
toolbox.html	Add "Exit collaborative map" button to toolbox (fixes #32)	2018-03-18 19:15:38 +01:00
toolbox.js	Add "Exit collaborative map" button to toolbox (fixes #32)	2018-03-18 19:15:38 +01:00