Skip to content

Fix compile warnings: Doc string single quote#863

Merged
Matafou merged 6 commits into
ProofGeneral:masterfrom
MorganJamesSmith:doc-string-single-quote
Jan 24, 2026
Merged

Fix compile warnings: Doc string single quote#863
Matafou merged 6 commits into
ProofGeneral:masterfrom
MorganJamesSmith:doc-string-single-quote

* doc: Update autogenerated files

0f23583
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.