Added minified version of OpenLayers, compiled with wrmap.cfg.
[philipp/winterrodeln/mediawiki_extensions/wrmap.git] / openlayers /
drwxr-xr-x   ..
-rw-r--r-- 1396843 OpenLayers.js
-rw-r--r-- 338048 OpenLayers.min.js
-rw-r--r-- 1240 wrmap.cfg