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