blob: 742a1bc9615f47c8b078af3d84af7a82c5d18a89 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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
|
