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