From e78b26c5ad09fd55698bc431b8b06a44700684ff Mon Sep 17 00:00:00 2001 From: Robert Loehning Date: Thu, 7 Jan 2016 16:48:01 +0100 Subject: [PATCH] Removed pointless HTML-tag Change-Id: I2c7bab63dbfa5ca2454adbfff042892ea03aff60 Reviewed-by: Eike Ziller --- src/plugins/coreplugin/systemsettings.ui | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/coreplugin/systemsettings.ui b/src/plugins/coreplugin/systemsettings.ui index 0133031d984..9f48e27f880 100644 --- a/src/plugins/coreplugin/systemsettings.ui +++ b/src/plugins/coreplugin/systemsettings.ui @@ -252,7 +252,7 @@ - <html>Influences how file names are matched to decide if they are the same. + Influences how file names are matched to decide if they are the same. File system case sensitivity: