Public bug reported: Coqide ships with a .desktop that is affected by bug #47426. Besides that, I remove the absolute path and exec and improved the name.
** Affects: coq (Ubuntu)
Importance: Low
Assignee: MOTU
Status: Unconfirmed
** Affects: coq (Debian)
Importance: Unknown
Status: Unknown
--
bad .desktop
https://launchpad.net/bugs/49546
--
universe-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/universe-bugs
