Skip to content

improve menu#22

Merged
hboutemy merged 1 commit intomasterfrom
menu
Feb 29, 2024
Merged

improve menu#22
hboutemy merged 1 commit intomasterfrom
menu

Conversation

@hboutemy
Copy link
Member

@hboutemy hboutemy commented Feb 29, 2024

@hboutemy hboutemy merged commit 98ada55 into master Feb 29, 2024
@hboutemy hboutemy deleted the menu branch February 29, 2024 17:47
@olamy olamy added the documentation Improvements or additions to documentation label Apr 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants