Nils Schneider 420a11e72d history: introduce config.json		2015-03-20 21:03:20 +01:00
config.json	history: introduce config.json	2015-03-20 21:03:20 +01:00
history.html	history: mark nodes with location set	2015-03-20 20:36:49 +01:00
history.js	history: introduce config.json	2015-03-20 21:03:20 +01:00