Nils Schneider 2c57cff27f don't push history on initial reset()		2015-03-25 15:07:43 +01:00
..
infobox	refactor Infobox (own module)	2015-03-25 11:21:09 +01:00
main.js	don't push history on initial reset()	2015-03-25 15:07:43 +01:00
map.js	refactor Infobox (own module)	2015-03-25 11:21:09 +01:00