Confirmed. gnat-gps is not added to the menu after it is installed.
** Changed in: gnat-gps (Ubuntu)
Status: New => Confirmed** Tags added: desktop-file -- gnat-gps doesn't have a menu entry https://bugs.launchpad.net/bugs/479233 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
