summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/agda-use-sphinx-5.patch
diff options
context:
space:
mode:
authorAleksandr Vityazev <[email protected]>2023-11-11 22:52:52 +0300
committerLudovic Courtès <[email protected]>2023-11-25 23:35:03 +0100
commitc6141a3da80eec543f81ab886f73ec3d8da7874b (patch)
tree803a58e103b3a4dcd10d0499c635d5ebde6cb302 /gnu/packages/patches/agda-use-sphinx-5.patch
parent98da3707b68f5b0c50997bf56662778e4aef039a (diff)
doc: Update yggdrasil related documentation.
* doc/guix.texi (Networking Services): Update the sample yggdrasil-private.conf. Remove obsolete options that may contain a file whose path is specified in the config-file field of yggdrasil-configuration. Signed-off-by: Ludovic Courtès <[email protected]>
Diffstat (limited to 'gnu/packages/patches/agda-use-sphinx-5.patch')
0 files changed, 0 insertions, 0 deletions