diff options
| -rw-r--r-- | src/plugins/coreplugin/systemsettings.ui | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/plugins/coreplugin/systemsettings.ui b/src/plugins/coreplugin/systemsettings.ui index 0133031d98..9f48e27f88 100644 --- a/src/plugins/coreplugin/systemsettings.ui +++ b/src/plugins/coreplugin/systemsettings.ui @@ -252,7 +252,7 @@ <item> <widget class="QLabel" name="label"> <property name="toolTip"> - <string><html>Influences how file names are matched to decide if they are the same.</string> + <string>Influences how file names are matched to decide if they are the same.</string> </property> <property name="text"> <string>File system case sensitivity:</string> |