Skip to content

Updated menu titles to match with chapter titles#235

Merged
dennisdoomen merged 1 commit into
dennisdoomen:masterfrom
bkoelman:menu-names
Feb 3, 2022
Merged

Updated menu titles to match with chapter titles#235
dennisdoomen merged 1 commit into
dennisdoomen:masterfrom
bkoelman:menu-names

Conversation

@bkoelman
Copy link
Copy Markdown
Contributor

@bkoelman bkoelman commented Feb 2, 2022

Fixes #233.

@dennisdoomen dennisdoomen merged commit 7e170ac into dennisdoomen:master Feb 3, 2022
@dennisdoomen
Copy link
Copy Markdown
Owner

Thanks. Saves me some time ;-)

@bkoelman bkoelman deleted the menu-names branch February 3, 2022 09:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Inconsistencies in menu/chapter names

2 participants