diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2023-11-07 12:01:16 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2023-11-07 12:02:19 +0100 |
| commit | fb46c1cedab5d00e6afac46bfa514094d5c9e13f (patch) | |
| tree | 91147534c78443ddd52486197b045513fda0bc25 /etc/substitutes | |
| parent | 3f83dc5587573f173b1f61864c9b510f05de84b1 (diff) | |
| download | guix-fb46c1cedab5d00e6afac46bfa514094d5c9e13f.tar.gz guix-fb46c1cedab5d00e6afac46bfa514094d5c9e13f.zip | |
doc: Update URL of Mumi git repository.
* doc/contributing.texi (Debbugs User Interfaces): Use new repository URL.
Change-Id: Ieccf34be8a103740607d8c115120902dc687d4e7
Diffstat (limited to 'etc/substitutes')
0 files changed, 0 insertions, 0 deletions