From c4fb9ad4aa449ec38782eeb9b85807284e645a92 Mon Sep 17 00:00:00 2001 From: Nils <> Date: Sat, 13 Apr 2019 23:33:32 +0200 Subject: [PATCH] Update documentation Former-commit-id: c6e43a97d4715f6d2a7fda3b83362e6bc77f6c32 --- documentation/out/english.html | 119 +++++++++++++++++---------------- documentation/out/german.html | 119 +++++++++++++++++---------------- documentation/out/index.html | 117 ++++++++++++++++---------------- 3 files changed, 185 insertions(+), 170 deletions(-) diff --git a/documentation/out/english.html b/documentation/out/english.html index 86bfcf6..baf75c0 100644 --- a/documentation/out/english.html +++ b/documentation/out/english.html @@ -2,21 +2,21 @@
- + - +