diff options
| author | root <root@rshg054.dnsready.net> | 2011-10-21 23:14:54 +0000 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2011-10-21 23:14:54 +0000 |
| commit | d3d0811e23787b5c66edf94b3351a1555eb5010f (patch) | |
| tree | 5fb14b5a2d0bd5b526a58d27e6fb81f04977855a /extra/java7-openjdk/policytool.desktop | |
| parent | 1b21445a8e9097b0bb0542ed847fbb1eb832848f (diff) | |
Fri Oct 21 23:14:53 UTC 2011
Diffstat (limited to 'extra/java7-openjdk/policytool.desktop')
| -rw-r--r-- | extra/java7-openjdk/policytool.desktop | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/extra/java7-openjdk/policytool.desktop b/extra/java7-openjdk/policytool.desktop new file mode 100644 index 000000000..702b44a6f --- /dev/null +++ b/extra/java7-openjdk/policytool.desktop @@ -0,0 +1,10 @@ +[Desktop Entry] +Name=OpenJDK Policy Tool +Comment=Manage OpenJDK policy files +Exec=/usr/bin/policytool +Icon=java +Terminal=false +Type=Application +StartupWMClass=sun-security-tools-PolicyTool +Categories=Development;Java; +Version=1.0 |