From 5e05805830c51ba2cf34130d9fb045410e3c6d8f Mon Sep 17 00:00:00 2001
From: Paul-Henri Froidmont <git.contact-57n2p@froidmont.org>
Date: Wed, 6 Apr 2022 00:27:25 +0200
Subject: [PATCH] Remove unused tools

---
 users/default.nix | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/users/default.nix b/users/default.nix
index a93a2fa..f62417e 100644
--- a/users/default.nix
+++ b/users/default.nix
@@ -270,13 +270,7 @@
         transmission-remote-gtk
         monero-gui
 
-        jdk11
-        jetbrains.idea-community
-        jetbrains.idea-ultimate
-        maven
-        mill
-        sbt
-        geckodriver
+        jdk
         httpie
 
         rnix-lsp