Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/gnu-efi-libs/PKGBUILD
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2019-07-05 15:50:10 +0200
committerAndreas Baumann <mail@andreasbaumann.cc>2019-07-05 15:50:10 +0200
commit1ded43ae0aa0f68a9d0992d0d6bb4d99c8e493c2 (patch)
treece8771de5718098d0594c0c16f41aa5841b1282e /extra/gnu-efi-libs/PKGBUILD
parentb2ee4a95b71de3713494af00255ea803f286d888 (diff)
community/bochs: disabled host mapped PCI devices
Diffstat (limited to 'extra/gnu-efi-libs/PKGBUILD')
0 files changed, 0 insertions, 0 deletions