Skip to content

texinfo manuals: fix obsolete @inforef#725

Merged
hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:inforefJan 17, 2024

Commits

Commits on Jan 16, 2024