Nils Schneider 0c08dd44a5 history: adjust position of sidebartoggle button		2015-03-20 23:21:49 +01:00
config.json	history: introduce config.json	2015-03-20 21:03:20 +01:00
history.html	history: adjust position of sidebartoggle button	2015-03-20 23:21:49 +01:00
history.js	history: link only to markers that exist	2015-03-20 23:11:04 +01:00