main #22
yannis
commented 2024-01-07 09:04:19 +00:00
Owner
No description provided.
yannis
added 2 commits 2024-01-07 09:04:20 +00:00
Ajout d'un quatrième mode de redimension de bouton
3e7db7f382
Modification du type de redimension de bouton dans le dialogue manager
593c43a2dc
yannis
merged commit 58c6237709 into menu_manager 2024-01-07 09:04:26 +00:00
yannis
referenced this pull request from a commit 2024-01-07 09:04:27 +00:00
Merge pull request 'main' (#22) from main into menu_manager
Loading…
Reference in a new issue
No description provided.
Delete branch "main"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?