Massimiliano Culpo 0bed64503d Make SingleFileScope able to repopulate the cache after clearing it (#22559) ... fixes #22547 SingleFileScope was not able to repopulate its cache before this change. This was affecting the configuration seen by environments using clingo bootstrapped from sources, since the bootstrapping operation involved a few cache invalidation for config files.		2021-03-26 01:16:11 -06:00
..
spack	Make SingleFileScope able to repopulate the cache after clearing it (#22559)	2021-03-26 01:16:11 -06:00