/etc/desktop/

• ../
• README
• application-registry
• icons
• mime-info
• proofgeneral.desktop