diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-02-21T13·56+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-02-21T14·03+0100 |
| commit | b95ce3194dc431be2da9d79aecd5a7865fb5d486 (patch) | |
| tree | abf82933eb06d3a31b4a1f6824034847087a4660 /src | |
| parent | e4dd7dadf4f52a2afef0fcd826d8c85ec13cd904 (diff) | |
Debian build: Use parallel make and add Ubuntu 16.10
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions