diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-28 16:20:08 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-29 06:28:50 +0200 |
commit | 70d6ec3e4facb2eed4b8842031ebd2683a8cfd3b (patch) | |
tree | dcf22712f31fba433a21fc26e386a05cc0120081 /etc | |
parent | 44b5f28a77d94609cc43d713c46f6c1bdc4e380b (diff) | |
download | guix-70d6ec3e4facb2eed4b8842031ebd2683a8cfd3b.tar.gz |
doc: Correct the software behind ci.guix.gnu.org.
* doc/guix.texi (Invoking guix publish): It runs Cuirass.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions