[Bug 49546] Re: bad .desktop

** Changed in: coq (Debian)
       Status: Unconfirmed => Fix Committed

-- 
bad .desktop
https://launchpad.net/bugs/49546


-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to