From 238a9697d51ea8e00cd7c28ad075e9f120f28fba Mon Sep 17 00:00:00 2001
From: Arne Keller <arne.keller@student.kit.edu>
Date: Tue, 15 Jun 2021 12:22:20 +0200
Subject: [PATCH] apparently Vaadin requires which

---
 shell.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/shell.nix b/shell.nix
index 3dc7587..967c1a5 100644
--- a/shell.nix
+++ b/shell.nix
@@ -9,6 +9,7 @@ mkShell {
     ripgrep
     mavenJdk11
     nodejs-14_x
+    which # required by Vaadin
     python3
   ];
 }