-
Gaëtan Harter authored
Currently the default value was set by `dist/tools/git/git-cache`. This moves/duplicates the default value in the build system.
Gaëtan Harter authoredCurrently the default value was set by `dist/tools/git/git-cache`. This moves/duplicates the default value in the build system.