Make wrmap.js compatible with jQuery v3.3.1 (no longer using deprecated context prope...
[philipp/winterrodeln/mediawiki_extensions/wrmap.git] / openlayers /
drwxr-xr-x   ..
-rw-r--r-- 1479774 OpenLayers.js
-rw-r--r-- 360621 OpenLayers.min.js
-rw-r--r-- 1289 wrmap.cfg