From 97f1adf164009d15a99ce1f5b9a4ea4f2eee5afc Mon Sep 17 00:00:00 2001 From: Andreas Grapentin Date: Sat, 9 Feb 2019 14:08:16 +0100 Subject: libre/java10-openjdk: unmaintained, unbuilt and removed. --- libre/java10-openjdk/freedesktop-policytool.desktop | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 libre/java10-openjdk/freedesktop-policytool.desktop (limited to 'libre/java10-openjdk/freedesktop-policytool.desktop') diff --git a/libre/java10-openjdk/freedesktop-policytool.desktop b/libre/java10-openjdk/freedesktop-policytool.desktop deleted file mode 100644 index ae9d6116b..000000000 --- a/libre/java10-openjdk/freedesktop-policytool.desktop +++ /dev/null @@ -1,13 +0,0 @@ -[Desktop Entry] -Name=OpenJDK Java 10 Policy Tool -Name[fi]=OpenJDK Java 10 - käytäntötyökalu -Name[fr]=OpenJDK Java 10 - Outil de réglage -Comment=OpenJDK Java 10 Policy Tool -Comment[fi]=OpenJDK Java 10 - käytäntötyökalu -Comment[fr]=OpenJDK Java 10 - Outil de réglage -Keywords=java;security;policytool -Exec=/usr/lib/jvm/java-10-openjdk/bin/policytool -Terminal=false -Type=Application -Icon=java10-openjdk -Categories=Settings; -- cgit v1.2.3