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

ProofGeneral / PG

This repo is the new home of Proof General

https://proofgeneral.github.io

GNU General Public License v3.0

491 stars 88 forks source link

Closed hendriktews closed 7 months ago

hendriktews commented 7 months ago

This reverts commit a63a9b13185b0a2f13eb417165708f9cf38cc827 because it breaks CI.

monnier commented 7 months ago

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

Hmm... I pushed a patch for it this morning.... Oh wait, I pushed it to the wrong place. OK, it should be fixed now.

    Stefan