diff options
| author | Daiki Ueno <dueno@redhat.com> | 2017-10-06 14:21:32 +0200 |
|---|---|---|
| committer | Daiki Ueno <ueno@gnu.org> | 2017-10-06 16:56:58 +0200 |
| commit | 29b8197e879dc8be8e356f57e6a3a501cdf657f9 (patch) | |
| tree | bb8cdfbc464dc5dbf4e8beae7cf449458c7732f4 /doc/manual | |
| parent | 96a3d3e6371785f846bc72c2a701a1eb67c89b77 (diff) | |
build: Take advantage of parallel-tests
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions