openlayers/ol3 — pull request #796 by tschaub (2013-06-18 21:37:36+00:00)
Title: Use .geojson extension for GeoJSON

To take advantage of GitHub's rendering.