rename and fix makefile

This commit is contained in:
2023-04-13 19:40:10 +02:00
parent a7b00928de
commit 0496498b40
18 changed files with 1 additions and 1 deletions