]>
2017-12-27 | philipp | coordtool.html now uses jinja2. | blob | commitdiff | raw |
2017-07-30 | philipp | Coordinate tool works again. | blob | commitdiff | raw | diff to current |
2012-02-07 | philipp | Additional cleanup. | blob | commitdiff | raw | diff to current |