Arne Schlüter d7d78b7fc4 Use div icons instead of circleMarkers		2015-02-08 16:53:00 +01:00
..
colors.js	Refactor visualization into separate class	2015-02-08 10:51:18 +01:00
filter.js	fixed noncategorized filter	2015-02-08 15:47:45 +01:00
main.js	Make sure popups at the borders can still be displayed correctly and closed	2015-02-08 11:36:53 +01:00
visualization.js	Use div icons instead of circleMarkers	2015-02-08 16:53:00 +01:00