Revision c0c57714887b0faf42543c9665121edff3520625 authored by Felix Ruess on 16 April 2012, 10:05:17 UTC, committed by Felix Ruess on 16 April 2012, 10:05:17 UTC
fixes Issue #175
maps.dtd
<!-- Paparazzi Maps Support Configuration DTD -->
<!ELEMENT maps EMPTY>
<!ATTLIST maps
google_version CDATA #REQUIRED>
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...