diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-04-29 11:17:39 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-29 11:17:39 +0200 |
| commit | e432ce1b8575b6559c04457010ca8554c5b7ba5f (patch) | |
| tree | cca347ded2de21c205310c33571c955ab75484ee /THANKS | |
| parent | 20dbd858ad955004ebd3e15e1aa04b05f303c36b (diff) | |
| download | guix-e432ce1b8575b6559c04457010ca8554c5b7ba5f.tar.gz | |
doc: Remove traces of "Guix System Distribution".
* doc/guix.texi (Invoking guix package) (Official Substitute Server, System Configuration): Replace "the Guix System Distribution" by "Guix System".
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions