From 31965c861e67104008ec0a588a1e1166ef8cf1fd Mon Sep 17 00:00:00 2001 From: martin Date: Fri, 17 Apr 2026 09:49:33 +0200 Subject: [PATCH] Removing shell.nix --- shell.nix | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 shell.nix diff --git a/shell.nix b/shell.nix deleted file mode 100644 index a9cc7b4..0000000 --- a/shell.nix +++ /dev/null @@ -1,8 +0,0 @@ -{ pkgs ? import {} }: - -let - jdk = pkgs.jdk25; -in pkgs.mkShell { - buildInputs = [ jdk pkgs.maven ]; - JAVA_HOME = "${jdk}"; -}