Home | History | Annotate | Download | only in patches
      1  14943  jedy diff -ur devhelp-0.19.1-orig/data/devhelp.desktop.in.in devhelp-0.19.1/data/devhelp.desktop.in.in
      2  14943  jedy --- devhelp-0.19.1-orig/data/devhelp.desktop.in.in	2008-08-15 16:39:24.632145267 +0800
      3  14943  jedy +++ devhelp-0.19.1/data/devhelp.desktop.in.in	2008-08-15 16:44:39.824572320 +0800
      4  15057  jedy @@ -1,7 +1,9 @@
      5  14943  jedy  [Desktop Entry]
      6  14943  jedy  Encoding=UTF-8
      7  14943  jedy -_Name=Devhelp
      8  14943  jedy -_Comment=Developer's Help program
      9  15057  jedy +# SUN_BRANDING
     10  14943  jedy +_Name=GNOME Developer Documentation
     11  15057  jedy +# SUN_BRANDING
     12  14943  jedy +_Comment=Browse and search gtk+ and GNOME API documentation
     13  14943  jedy  _GenericName=Documentation Browser
     14  14943  jedy  Exec=devhelp
     15  14943  jedy  Terminal=false
     16