Jan-Piet Mens d50bd1433f ignore

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

..

.gitignore

ignore

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

config.js

map: allow rename of topic in map popups

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

config.js.sample

map: allow rename of topic in map popups

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

functions.js

map: allow rename of topic in map popups

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

index.html

map: allow rename of topic in map popups

2016-02-04 13:00:17 +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

red-marker.png

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