Philipp SchusterandGitHub 70e193d64b Update binary-cache-substituter.md (#7628) ...

`binary-caches` is deprecated and `substituters` the new recommended option.

2023-01-18 15:08:20 +00:00

..

manual

Update binary-cache-substituter.md (#7628)

2023-01-18 15:08:20 +00:00