Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/build-support/java12-openjdk/install_jre-openjdk-headless.sh
diff options
context:
space:
mode:
authorTasos Sahanidis <tasos@tasossah.com>2024-04-11 01:48:37 +0300
committerTasos Sahanidis <tasos@tasossah.com>2024-04-11 01:48:37 +0300
commit0e15481981a6213ea4f1bed34a90c712ed6b2374 (patch)
treea77c60778822e16bb409010313af9900795b598e /build-support/java12-openjdk/install_jre-openjdk-headless.sh
parenta890421262fd314b3c218ce6f771c5a39b2669e3 (diff)
extra/ocaml: Fix patching
Diffstat (limited to 'build-support/java12-openjdk/install_jre-openjdk-headless.sh')
0 files changed, 0 insertions, 0 deletions

Copyright © 2002-2022 Judd Vinet and Aaron Griffin. Copyright © 2022 Erich Eckner.
The Arch Linux name and logo are recognized trademarks. Some rights reserved. The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.