File: gmanedit.desktop

package info (click to toggle)
gmanedit 0.4.2-5
  • links: PTS
  • area: main
  • in suites: wheezy
  • size: 1,472 kB
  • sloc: sh: 3,840; ansic: 2,072; makefile: 85; sed: 16
file content (11 lines) | stat: -rw-r--r-- 253 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
 
[Desktop Entry]
Version=1.0
Name=gmanedit
Comment=GNOME Manpages Editor
Comment[es]=Editor de páginas man de GNOME
Comment[gl]=Editor de páxinas man de GNOME
Exec=gmanedit
Terminal=false
Type=Application
Categories=Development;
Icon=gmanedit_icon.png