camptocamp/c2cgeoportal — pull request #797 by sbrunner (2013-12-03 14:10:43+00:00)
Title: Add the missing `tools.js` in the `routing.js` and in the `edit.js`

Complete the pull request #796