A couple of tiny tidies #984

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

Ducasse merged 3 commits into pillar-markup:dev from AndrzejProchyra:small-tidies

Jan 9, 2026

Collaborator

AndrzejProchyra commented Jan 8, 2026

Remove misspelled tocitems method
Move MicTocBuilder >> visitHeader: to visiting protocol
Use a consistent capitalisation of "TOC"

AndrzejProchyra added 3 commits

January 7, 2026 18:38


          refactor: remove erroneously added method

9ffd69b


          refactor: move method to protocol consistent with superclass

2813e8b


          refactor: use consistent capitalisation of "TOC"

d2b6ea6

Ducasse merged commit 13c8f20 into pillar-markup:dev

0 of 2 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet