From bb4e0d2569b9ad9b666c77a7114fd8d845a9f056 Mon Sep 17 00:00:00 2001 From: Denisov21 Date: Mon, 11 Aug 2014 11:55:26 +0200 Subject: [PATCH 1/5] Update themes-settings.html Fix #8712 (part 1 of 2) --- src/htmlContent/themes-settings.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/htmlContent/themes-settings.html b/src/htmlContent/themes-settings.html index e311a48b1d2..2f08283d81a 100644 --- a/src/htmlContent/themes-settings.html +++ b/src/htmlContent/themes-settings.html @@ -1,6 +1,6 @@