diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2019-03-16T18·03+0100 |
---|---|---|
committer | Joachim Breitner <mail@joachim-breitner.de> | 2019-03-16T18·03+0100 |
commit | 684c7fff80b575da8055015c6b87693fd1d858ca (patch) | |
tree | 775a9d30bb4d5bc5a079dfbb1c0602152b8e1f81 /COPYING | |
parent | 806291d18ca3f46dd3a7aa95f65cb209c45adb25 (diff) |
Link to `builders-use-substitutes` in chapter on distributed builds
fixes #2730.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions