diff options
author | Ludovic Courtès <ludo@gnu.org> | 2023-06-04 23:10:06 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2023-06-06 11:54:39 +0200 |
commit | d62c6170efd82b361e08f4f52149709d1c7ae5e4 (patch) | |
tree | ed15bc975be32aec024d75e6a87527e18cc98d9e /etc/git | |
parent | 9ad8b0c2ef10d8de01bad25f54337c5df35aa842 (diff) |
doc: Add missing node to the main menu.
This is a followup to 110462bb2f1678fb0147a5845b2b48d0566ce0b4.
* doc/guix.texi (Top): Add "Mail Home Services" to the menu.
Diffstat (limited to 'etc/git')
0 files changed, 0 insertions, 0 deletions