diff options
| author | Florian Pelz <pelzflorian@pelzflorian.de> | 2021-01-12 15:49:41 +0100 |
|---|---|---|
| committer | Florian Pelz <pelzflorian@pelzflorian.de> | 2021-01-12 16:46:25 +0000 |
| commit | 89dbcac107d931fd33eda4a83db445e8a90cc4af (patch) | |
| tree | 7bf4a1c5469bfbe02debc42f97c36b62b8b8ec07 /gnu | |
| parent | bb4e67415eb6d9871ee1b50b0a01e08c19f4809a (diff) | |
| download | guix-89dbcac107d931fd33eda4a83db445e8a90cc4af.tar.gz guix-89dbcac107d931fd33eda4a83db445e8a90cc4af.zip | |
doc: Remove trace of ci.guix.info.
* doc/guix.texi (Invoking guix weather): Use default substitute server
in example.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions