diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-03-04 12:28:41 +0100 |
---|---|---|
committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-03-04 12:28:46 +0100 |
commit | 318fbfadbfa1c3b8f6bc82be04b94f50fd4160bb (patch) | |
tree | 22d6895f98a6c242b59b77725cd55ceb8d9ad279 /doc/options.xml | |
parent | b831aff3659324b38a304e74e59294483779aa60 (diff) |
machines/sternenseemann/wolfgang: set builders-use-substitutes = true
Diffstat (limited to 'doc/options.xml')
0 files changed, 0 insertions, 0 deletions