change home manager file name

This commit is contained in:
Pim Kunis 2023-10-16 11:03:36 +02:00
parent 1da1b8422b
commit dca7ffddde
2 changed files with 1 additions and 1 deletions