diff options
author | Erik Schnetter <schnetter@gmail.com> | 2016-05-17 15:13:28 -0400 |
---|---|---|
committer | Erik Schnetter <schnetter@gmail.com> | 2016-05-17 15:13:28 -0400 |
commit | fcc4c1b2f20fd1e19f7443923f779ef4e5b9c5d0 (patch) | |
tree | 82bc9ded6a8e85f142177d0509b4967110ddeba1 /.gitignore | |
parent | 1774c7a7b38fa60eaf30aa9d5cef5a6a18b8c55d (diff) | |
download | spack-fcc4c1b2f20fd1e19f7443923f779ef4e5b9c5d0.tar.gz spack-fcc4c1b2f20fd1e19f7443923f779ef4e5b9c5d0.tar.bz2 spack-fcc4c1b2f20fd1e19f7443923f779ef4e5b9c5d0.tar.xz spack-fcc4c1b2f20fd1e19f7443923f779ef4e5b9c5d0.zip |
Remove duplicate providers that can concretize to the same result
Patch generously provided by @becker33.
Closes #928.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions