diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2023-08-30 18:13:32 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2023-08-30 18:15:16 +0200 |
| commit | d72c3fcf2d72e97715389762c09bf4c4fe81dc0e (patch) | |
| tree | 687c5b01b4ed4e7837842314eb256c085db9bd16 /etc/guix-gc.timer | |
| parent | b74bdf490ed31fc8a652a1a51492f401a7f92209 (diff) | |
| download | guix-d72c3fcf2d72e97715389762c09bf4c4fe81dc0e.tar.gz guix-d72c3fcf2d72e97715389762c09bf4c4fe81dc0e.zip | |
doc: Update link to Mumi repository.
* doc/guix.texi (Web Services): Update URL of Mumi git repository.
Reported-by: Attila Lendvai <attila@lendvai.name>
Diffstat (limited to 'etc/guix-gc.timer')
0 files changed, 0 insertions, 0 deletions