From ee7bc1575b90adeef80e0012fe1f9175f4fdb35b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= <necoro@necoro.net>
Date: Sat, 7 Oct 2017 23:45:24 +0200
Subject: Delete old stuff.

---
 .zshenv | 2 --
 1 file changed, 2 deletions(-)

(limited to '.zshenv')

diff --git a/.zshenv b/.zshenv
index b8b21b6..a562fc7 100644
--- a/.zshenv
+++ b/.zshenv
@@ -10,8 +10,6 @@ path=(
     ~/bin
     # node stuff
     ~/.node/bin
-    # isabelle
-    ~/isabelle/Isabelle/bin
     # rest
     $path)
 
-- 
cgit v1.2.3