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-jre10.desktop | |
parent | a7e52325d341f64307e11d51d0b11f546bb78a47 (diff) | |
download | aur-a86c8ddba261d7160de976b6529c10e76d4a31d1.tar.gz |
Cosmetics & future major-update automatizations
Diffstat (limited to 'policytool-jre10.desktop')
-rw-r--r-- | policytool-jre10.desktop | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/policytool-jre10.desktop b/policytool-jre10.desktop deleted file mode 100644 index 578043c1844d..000000000000 --- a/policytool-jre10.desktop +++ /dev/null @@ -1,8 +0,0 @@ -[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; |