Difference between revisions of "Translations:Options/17/en"
Jump to navigation
Jump to search
(Importing a new version from external source) |
(No difference)
|
Latest revision as of 09:38, 2 May 2018
This section handles minor settings of the user interface: