diff options
Diffstat (limited to 'no_jdk_download.patch')
| -rw-r--r-- | no_jdk_download.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/no_jdk_download.patch b/no_jdk_download.patch index b5efe69d5c26..314c954025b2 100644 --- a/no_jdk_download.patch +++ b/no_jdk_download.patch @@ -1,5 +1,5 @@ ---- build.xml.orig 2022-01-31 12:44:46.824038995 +0100 -+++ build.xml.patched 2022-01-31 12:47:21.567810435 +0100 +--- a/build/build.xml 2022-01-31 12:44:46.824038995 +0100 ++++ b/build/build.xml 2022-01-31 12:47:21.567810435 +0100 @@ -940,7 +940,7 @@ </if> </target> |