Philipp Schuster 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