Fixes a small but relevant error in the guides.

Incrementis · Dec 21, 2023 · 3367341 · 3367341
1 parent 78c8781
commit 3367341
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/guides/EN_HowTo.pdf b/guides/EN_HowTo.pdf
diff --git a/guides/GER_HowTo.pdf b/guides/GER_HowTo.pdf