diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-05-18 09:31:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-18 09:31:22 +0200 |
| commit | 2e16186a9920c8c02ff7752ff1987bb5970c9854 (patch) | |
| tree | 30958762a1d8600c9d77050e73d5d5db0b9eefd5 /doc/manual/command-ref | |
| parent | 546b179d0a89e9f27a02e92004da0f8f08e5041a (diff) | |
| parent | e223eeac09c6468db80ee0497c84960b4ec73e02 (diff) | |
Merge pull request #3592 from Mic92/doc-fixes
Remove -j option from simple-build-testing
Diffstat (limited to 'doc/manual/command-ref')
0 files changed, 0 insertions, 0 deletions