README « desktop « etc - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/etc/desktop/README

blob: d4777d03c367e6668ddc84e079f6ea1b990a707b (plain)

See http://www.freedesktop.org/standards/desktop-entry-spec

Please add i18n alternatives if you'd like to see them on
your desktop.