[skip changelog] Correct documentation re: default for build_cache.path
configuration key#2919
Merged
per1234 merged 1 commit intoarduino:masterfrom May 28, 2025
per1234:correct-build_cache.path-default
Merged
[skip changelog] Correct documentation re: default for `build_cache.path` configuration key#2919per1234 merged 1 commit intoarduino:masterfrom per1234:correct-build_cache.path-default
per1234 merged 1 commit intoarduino:masterfrom
per1234:correct-build_cache.path-default