From d905a55b29a3076a4d85496b271b90da39338a90 Mon Sep 17 00:00:00 2001 From: Nils <> Date: Sat, 4 May 2019 19:17:22 +0200 Subject: [PATCH] Update documentation --- documentation/out/german.html | 14 +++++++------- documentation/out/index.html | 12 ++++++------ 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/documentation/out/german.html b/documentation/out/german.html index 5d7f5fd..7252e6a 100644 --- a/documentation/out/german.html +++ b/documentation/out/german.html @@ -4,17 +4,16 @@ - +