From a01e4c26f5dce773f265cd291e352e26220fe3ec Mon Sep 17 00:00:00 2001
From: Romain Paquet <rpqt@rpqt.fr>
Date: Thu, 17 Jul 2025 23:57:40 +0200
Subject: [PATCH] remove devenv

---
 home-manager/dev.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/home-manager/dev.nix b/home-manager/dev.nix
index 589f49f..79c3eba 100644
--- a/home-manager/dev.nix
+++ b/home-manager/dev.nix
@@ -1,7 +1,6 @@
 { config, pkgs, ... }:
 {
   home.packages = with pkgs; [
-    devenv
     direnv
     hut
     jujutsu