Commit graph

1 commit

Author SHA1 Message Date
Jehan
cb18908d15 app, menus: rename the files too.
I did it in 2 commits otherwise git has a hard time seeing the move+edit
as a file move and the `git show` on previous commit is much less
useful.
2024-08-05 12:08:59 +02:00
Renamed from menus/vectors-menu.ui (Browse further)