[tor-bugs] #18299 [- Select a component]: Remove 'App' from Tools menu

[Tor Bug Tracker & Wiki]

#18299: Remove 'App' from Tools menu
--------------------------------------+-----------------
     Reporter:  cypherpunks           |      Owner:
         Type:  defect                |     Status:  new
     Priority:  Medium                |  Milestone:
    Component:  - Select a component  |    Version:
     Severity:  Normal                |   Keywords:
Actual Points:                        |  Parent ID:
       Points:                        |    Sponsor:
--------------------------------------+-----------------
 Remove 'App' from Tools menu, there is no need for it to be there.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/18299>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online