Martin/Geno 7c5d117784 use dropdown for channel selection		2018-08-03 09:13:23 +02:00
..
list.js	use dropdown for channel selection	2018-08-03 09:13:23 +02:00
map.js	map: save list of enabled layers in localStorage	2018-07-22 21:56:00 +02:00
node.js	node page: ask for confirmation before resetting node location	2018-07-22 21:47:20 +02:00
statistics.js	fix statistics channel view	2018-07-15 21:55:31 +02:00