Skip to content

texinfo manuals: fix obsolete @inforef #37

texinfo manuals: fix obsolete @inforef

texinfo manuals: fix obsolete @inforef #37

Triggered via push January 17, 2024 21:04
Status Success
Total duration 47s
Artifacts

deploy-doc.yml

on: push
Matrix: deploy-doc
Fit to window
Zoom out
Zoom in