Merged
Updated menu titles to match with chapter titles#235dennisdoomen merged 1 commit intodennisdoomen:master from bkoelman:menu-names
dennisdoomen merged 1 commit intodennisdoomen:master from bkoelman:menu-names
Updated menu titles to match with chapter titles#235
Merged
dennisdoomen merged 1 commit intodennisdoomen:master from bkoelman:menu-namesFeb 3, 2022
+9-9
Commits
Commits on Feb 2, 2022
- authored andBart KoelmancommittedBart Koelman
Feb 2, 2022