Jan-Piet Mens fc5bf40bf8 fix map heights ...

closes #84

2016-02-16 10:03:25 +01:00

..

.gitignore

ignore

2016-02-04 13:01:01 +01:00

config.js

fix map heights

2016-02-16 10:03:25 +01:00

config.js.sample

fix

2016-02-04 13:03:58 +01:00

functions.js

map: allow rename of topic in map popups

2016-02-04 13:00:17 +01:00

index.html

fix map heights

2016-02-16 10:03:25 +01:00

last.html

rename of docroot

2015-09-14 14:08:59 +02:00

manifest.json

rename of docroot

2015-09-14 14:08:59 +02:00

websock.js

avoid pesky ERROR from mucking up map

2016-02-04 12:05:21 +01:00