rename manual files to fit new naming convention

This commit is contained in:
Patrick Jentsch
2023-11-21 12:31:10 +01:00
parent 1bb1408988
commit 9627708950
9 changed files with 8 additions and 8 deletions