fix names of directories and files in build-deb

This commit is contained in:
2023-07-13 17:54:38 +02:00
parent 8be400a721
commit f410b78c8a
3 changed files with 0 additions and 0 deletions