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/Documentation.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/html/Documentation.html') diff --git a/doc/html/Documentation.html b/doc/html/Documentation.html index 4ea96b44..175e6fe0 100644 --- a/doc/html/Documentation.html +++ b/doc/html/Documentation.html @@ -10,7 +10,7 @@ -

@@ -144,4 +144,4 @@

- \ No newline at end of file + -- cgit v1.2.3