Skip to content

tags.rb: report normative tags in admonitions as errors - #263

Merged
Bill Traynor (wmat) merged 1 commit into
riscv:mainfrom
davidharrishmc:norm-tags-in-admonitions
Oct 1, 2026
Merged

Bill Traynor (wmat) merged 1 commit into
riscv:mainfrom
davidharrishmc:norm-tags-in-admonitions

Commits

Commits on Oct 1, 2026