From 32052f214b052531cc55d5d52c0283adabf838ca Mon Sep 17 00:00:00 2001 From: a1346054 <36859588+a1346054@users.noreply.github.com> Date: Sat, 4 Sep 2021 19:59:25 +0000 Subject: Minor cleanup of the repo (#822) * *: source files should not be executable * *: make sure files have final newline * *: remove BOM from text files * translations: unify headers * *: fix typos * *: trim excess whitespace --- doc/html/Hot Keys.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc/html/Hot Keys.html') diff --git a/doc/html/Hot Keys.html b/doc/html/Hot Keys.html index af31f469..2ec379dc 100644 --- a/doc/html/Hot Keys.html +++ b/doc/html/Hot Keys.html @@ -10,7 +10,7 @@
-