Rename lab documents

This commit is contained in:
Manuel Thalmann 2023-12-04 18:19:13 +01:00
parent a3aca6b07d
commit 18af1c010d
3 changed files with 0 additions and 0 deletions