Minor corrections.

This commit is contained in:
2021-06-07 20:02:42 +02:00
parent d018c27f0e
commit 3c0f889db7
3 changed files with 5 additions and 5 deletions