make home-manager optional #5

Merged
horscchtey merged 1 commit from nonapode/optional-home-manager into main 2025-11-26 10:45:20 +01:00