Make argument-scope-delimiter error by default - #21849

Make argument-scope-delimiter error by default#21849

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

proux01:warnerror-argument-scope-delimiterproux01/rocq:warnerror-argument-scope-delimiterCopy head branch name to clipboard