mozilla/r2d2b2g — pull request #43 by digitarald (2012-10-30 17:26:20+00:00)
Title: Fixing tools menu

- Moving menu item from tools in web developer (fixes #32)
- Removing Install Page menu