diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-05-02T10·16+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-05-02T10·16+0200 |
| commit | 174b68a2a2e9e58fa1a1a0036858a566c51684dc (patch) | |
| tree | fb8af58549562a1c697474e7ea95e2ad80224747 /doc/manual/installation | |
| parent | 70581b63633016329789872c73dc48b1d498c729 (diff) | |
build-hook: If there are no machines defined, quit permanently
Diffstat (limited to 'doc/manual/installation')
0 files changed, 0 insertions, 0 deletions