diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-07-18 00:43:54 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-18 00:44:23 +0200 |
| commit | 193d20f35186556a0344f216f8e70187132093df (patch) | |
| tree | e60d6eb1a8e5d32bfefeaced74f2aab9486f7d11 /doc/htmlxref.cnf | |
| parent | 9b9b753529db1c7a8c4628cc255e358703c15618 (diff) | |
| download | patches-193d20f35186556a0344f216f8e70187132093df.tar patches-193d20f35186556a0344f216f8e70187132093df.tar.gz | |
doc: Correctly document 'host' field of <cuirass-configuration>.
* doc/guix.texi (Continuous Integration): Fix doc of the 'host' field.
Diffstat (limited to 'doc/htmlxref.cnf')
0 files changed, 0 insertions, 0 deletions