Skip to content
GitLab
Explore
Sign in
Register
The source project of this merge request has been removed.
Change name of address bar menu option
Manuel Grießmayr
requested to merge
(removed):address_bar_name
into
master
Aug 08, 2023
Overview
2
Pipelines
0
Changes
1
Expand
Changes the menu option from "Entry Style" to "Text Style".
Merge request reports