adding user for dov

This commit is contained in:
2025-09-25 21:00:42 -04:00
parent c36624cc55
commit 2ed08501fe
10 changed files with 179 additions and 0 deletions

View File

@@ -5,6 +5,7 @@ in
imports = [
../../users/richie
../../users/math
../../users/dov
../../common/global
../../common/optional/docker.nix
../../common/optional/ssh_decrypt.nix