pika-gnome-settings/pika-settings/debian/data/usr/share/ubuntu-wayland/applications/info.desktop
2023-02-23 22:04:27 +02:00

12 lines
281 B
Desktop File

[Desktop Entry]
Name=TeXInfo
Comment=The viewer for TexInfo documents
Exec=info
Icon=dialog-information
NoDisplay=true
Type=Application
Categories=Utility;Documentation;ConsoleOnly;
Terminal=true
X-Desktop-File-Install-Version=0.24
X-Ubuntu-Gettext-Domain=ubuntu-default-launchers