From 6def94865615d5bccba3bae278ea54932643db9a Mon Sep 17 00:00:00 2001 From: sijanec Date: Wed, 20 May 2020 19:33:31 +0200 Subject: should be ok to merge --- dist/pages/about.html | 2 +- dist/pages/settings.html | 9 ++++----- 2 files changed, 5 insertions(+), 6 deletions(-) (limited to 'dist/pages') diff --git a/dist/pages/about.html b/dist/pages/about.html index 0f80536..3d86337 100755 --- a/dist/pages/about.html +++ b/dist/pages/about.html @@ -142,7 +142,7 @@

- ^HEAD bf35c28cb1089df86bdd57134f475f3abe9fb539 + ^HEAD 448708182490d551721767bffc34ef35375f5082

diff --git a/dist/pages/settings.html b/dist/pages/settings.html index 612be7d..a41dc4a 100755 --- a/dist/pages/settings.html +++ b/dist/pages/settings.html @@ -95,8 +95,8 @@
palette
@@ -110,13 +110,12 @@
report_problem
- -- cgit v1.2.3