Skip to content
This repository has been archived by the owner on Nov 10, 2017. It is now read-only.

Fixing tools menu #43

Merged
merged 2 commits into from Oct 30, 2012
Merged

Fixing tools menu #43

merged 2 commits into from Oct 30, 2012

Commits on Oct 30, 2012

  1. - Moving menu item from tools in web developer (fixing mozilla#32) 

     - Removing Install Page menu
    Harald Kirschner committed Oct 30, 2012
    Configuration menu
    Copy the full SHA
    fa22645 View commit details
    Browse the repository at this point in the history

  2. Fixing menu ids.

    Harald Kirschner committed Oct 30, 2012
    Configuration menu
    Copy the full SHA
    b43d8cd View commit details
    Browse the repository at this point in the history