diff options
| -rw-r--r-- | cui/source/options/optgdlg.src | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cui/source/options/optgdlg.src b/cui/source/options/optgdlg.src index dec9c4769481..b6041644dec2 100644 --- a/cui/source/options/optgdlg.src +++ b/cui/source/options/optgdlg.src @@ -244,7 +244,7 @@ TabPage OFA_TP_VIEW < "Automatic" ; > ; < "Galaxy (default)" ; > ; < "High Contrast" ; > ; - < "Industrial" ; > ; + < "Industrial" ; > ; // industrial is dead, but we have to keep the entry < "Crystal" ; > ; < "Tango" ; > ; < "Oxygen" ; > ; |