Skip to content

Fix missing Rd extension (for excluding overview)#57

Merged
yihui merged 1 commit intoyihui:mainfrom TimTaylor:missing-rd-extensionDec 13, 2024

Commits

Commits on Dec 13, 2024