diff options
author | Det | 2018-03-25 18:49:09 +0300 |
---|---|---|
committer | Det | 2018-03-25 18:49:09 +0300 |
commit | a86c8ddba261d7160de976b6529c10e76d4a31d1 (patch) | |
tree | 9235299bf431581d5194fc693468a8198351a105 /policytool.desktop | |
parent | a7e52325d341f64307e11d51d0b11f546bb78a47 (diff) | |
download | aur-a86c8ddba261d7160de976b6529c10e76d4a31d1.tar.gz |
Cosmetics & future major-update automatizations
Diffstat (limited to 'policytool.desktop')
-rw-r--r-- | policytool.desktop | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/policytool.desktop b/policytool.desktop new file mode 100644 index 000000000000..578043c1844d --- /dev/null +++ b/policytool.desktop @@ -0,0 +1,8 @@ +[Desktop Entry] +Exec=/usr/lib/jvm/java-10-jre/jre/bin/policytool +Icon=sun-java-jre10 +Name=Java Policy Settings +StartupNotify=true +Terminal=false +Type=Application +Categories=Settings;Java; |