Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/cvc4
diff options
context:
space:
mode:
authorTasos Sahanidis <tasos@tasossah.com>2024-07-10 20:45:58 +0300
committerTasos Sahanidis <tasos@tasossah.com>2024-07-10 20:45:58 +0300
commit1f0dfb5c4f144228096a03e2db374381af1a5e6d (patch)
tree2542c785be5ad4bf172db11cd51b2179d791729f /extra/cvc4
parent9ccbaf7df3d0b1c64792cc0c991d34c419c8afdf (diff)
extra/mesa: Disable d3d12
Diffstat (limited to 'extra/cvc4')
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.