witty-crayon-22786
02/27/2019, 9:52 PMpants.ini, that's the difference between putting something in [cache] or in [cache.options] (where cache.options is the cache scope of the options task). more info here: https://www.pantsbuild.org/options.html#setting-option-values