git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Name
Last commit
Last update
..
OpenLayers Loading commit data...
js Loading commit data...
locale Loading commit data...
Makefile Loading commit data...
MapstractionPlugin.php Loading commit data...
allmap.php Loading commit data...
map.php Loading commit data...
usermap-mxn-openlayers.min.js Loading commit data...
usermap.js Loading commit data...
usermap.php Loading commit data...