diff options
| author | Niklas Hambüchen <mail@nh2.me> | 2018-06-17T17·01+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-17T17·01+0200 |
| commit | 10ebcf867043c95e585b5e30d6413572dbc0b665 (patch) | |
| tree | afe9d31f9021aa33caeb6bed19019a93f88909ec /doc/manual/glossary/glossary.xml | |
| parent | d73e881c81a8bf0522fbd026ddf44a7e1adcb81f (diff) | |
manual: distributed-builds: Mention - as default
Diffstat (limited to 'doc/manual/glossary/glossary.xml')
0 files changed, 0 insertions, 0 deletions