remove dead dns servers

2024-07-23 21:13:49 +02:00
parent 3022aa9250
commit 8f7cbb75e1
5 changed files with 9 additions and 3 deletions
--- a/home-manager/gitconfig.nix
+++ b/home-manager/gitconfig.nix
@@ -25,4 +25,7 @@
    source = ./.gitconfig-evolit;
    target = ".gitconfig-evolit";
  };
+  home.file.".gitconfig-itexperts" = {
+    source = ./.gitconfig-itexperts;
+  };
 }