blob: e7012a8e01f1b795f72dab659440727417911c59 (
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://standards.freedesktop.org/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/ }
|
