diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-19 10:16:58 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-19 10:51:53 +0100 |
| commit | 69f759912db9af8d3161b315d8806720e068679e (patch) | |
| tree | f7378509677ee0d51f442780b443a803ee60a589 /gnu/packages/mpi.scm | |
| parent | 1bdb63e73b73a6b581b65c4018aae587aebfcab4 (diff) | |
| download | guix-patches-69f759912db9af8d3161b315d8806720e068679e.tar guix-patches-69f759912db9af8d3161b315d8806720e068679e.tar.gz | |
doc: Clarify the "system type" for 'machine-ssh-configuration'.
* doc/guix.texi (Invoking guix deploy): Replace "Nix system type" with
"system type" for consistency.
Diffstat (limited to 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions