fix repository filenames

This commit is contained in:
pszafer
2024-04-08 11:36:31 +02:00
parent d50a53ee4a
commit 81c4df11fd
2 changed files with 1 additions and 1 deletions