diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-03-18T12·54+0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-18T12·54+0100 |
commit | ffeabf8390f69d6bb002c2a4e17eef186ecaa32d (patch) | |
tree | 775a9d30bb4d5bc5a079dfbb1c0602152b8e1f81 /doc/manual/expressions/builtins.xml | |
parent | 806291d18ca3f46dd3a7aa95f65cb209c45adb25 (diff) | |
parent | 684c7fff80b575da8055015c6b87693fd1d858ca (diff) |
Merge pull request #2731 from nomeata/link-to-conf-builders-use-substitutes
Link to `builders-use-substitutes` in chapter on distributed builds
Diffstat (limited to 'doc/manual/expressions/builtins.xml')
0 files changed, 0 insertions, 0 deletions