Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/gap
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-07-03 06:39:39 +0200
committerErich Eckner <git@eckner.net>2019-07-03 06:39:39 +0200
commit150ce6f2eb0ebba0fb68f38e5aa03a5c839f31d1 (patch)
tree9bd5d906ac7ddd97d4e2bd83d4122f9c483bf1bf /community/gap
parentfce183c8f47a180876d753b8144746865fa1c287 (diff)
extra/java8-openjdk: make failing rm non-fatal
Diffstat (limited to 'community/gap')
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.