Massimiliano Culpo f30fc6cd33 Move context manager to swap the current configuration into spack.config ... The context manager can be used to swap the current configuration temporarily, for any use case that may need it. (cherry picked from commit 553d37a6d6)		2021-05-21 18:00:05 +02:00
..
spack	Move context manager to swap the current configuration into spack.config	2021-05-21 18:00:05 +02:00