geoadmin/mf-chsdi3 — pull request #142 by loicgasser (2013-10-09 15:25:36+00:00)
Title: Fix checker

What we called checker_home is now checker_dev (the dev page)

We should get rid of the rewrite mode for sphinx doc...