Skip to content

Revert "(texi-docstring-magic-texi-for): Use help-function-arglist" #609

Revert "(texi-docstring-magic-texi-for): Use help-function-arglist"

Revert "(texi-docstring-magic-texi-for): Use help-function-arglist" #609

Annotations

2 warnings

compile-tests (coq-8.11.2-emacs-26.3)

succeeded Mar 28, 2024 in 4m 5s