openlayers/openlayers — pull request #172 by probins (2012-01-22 16:00:40+00:00)
Title: Remove Rico from OpenLayers.js

A minor point, but I assume these are still in there by mistake. The other deprecated layers seem to have already been removed.