Mark Friedrich 2d0d8df578 - new "map resize" feature for maps, closed #553 ...

- updated JS scrollbar plugin `3.1.4` -> `3.1.5`

2018-01-15 20:08:24 +01:00

..

app

- new "map resize" feature for maps, closed #553

2018-01-15 20:08:24 +01:00

lib

- new "map resize" feature for maps, closed #553

2018-01-15 20:08:24 +01:00

app.js

- new "map resize" feature for maps, closed #553

2018-01-15 20:08:24 +01:00