[Bug 524043] Re: dotedit is meaningless in menu; wastes space and misleads people

[Douglas Bagnall]

** Patch added: "hide the dotedit script from the menu using standard desktop options"
   http://launchpadlibrarian.net/39376338/graphviz-cairo-dotedit.diff

-- 
dotedit is meaningless in menu; wastes space and misleads people
https://bugs.launchpad.net/bugs/524043
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs