geoadmin/mf-geoadmin3 — pull request #94 by elemoine (2013-07-08 14:43:45+00:00)
Title: Update ol to current master

This PR updates ol.js and ol-whitespace.js to the current master.