Compare commits

..

No commits in common. "d0402bf51c2d63a2f55ae029da93f9bb33899436" and "e06f1d51b9d3c8506ed9f68109602a64b715e86f" have entirely different histories.

2 changed files with 0 additions and 7 deletions

View file

@ -57,11 +57,6 @@ in {
contents = {user = {email = "antoine4.martin@epita.fr";};}; contents = {user = {email = "antoine4.martin@epita.fr";};};
} }
]; ];
ignores = [
"/.direnv/"
"/.envrc"
];
}; };
}; };
} }

View file

@ -83,8 +83,6 @@
}; };
}; };
virtualisation.docker.enable = true;
services = { services = {
tlp = { tlp = {
settings = { settings = {