summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/teuchos-remove-duplicate-using.patch
AgeCommit message (Expand)Author
2023-10-21gnu: trilinos-for-dealii-openmpi: Fix build.Paul A. Patience