[Bug 49546] Re: bad .desktop

[Vassilis Pandis]

** Changed in: coq (Ubuntu)
     Assignee: (unassigned) => Vassilis Pandis

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

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