blob: d786a3160ce1d47018588d19f07b72d04c91421e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
You can install files in this directory to add desktop integration
for Proof General. This is presently done in the RPM file.
See http://www.freedesktop.org/standards/desktop-entry-spec
Please add i18n alternatives and other improvements if you'd like to
see them on your desktop, and send them back to me. - da
---
Notes:
application-registry/ } for GNOME
mime-info/ }
|
