From ba18a34dff9d2b6cc59a82643b61705b4f9937df Mon Sep 17 00:00:00 2001
From: René 'Necoro' Neumann <necoro@necoro.eu>
Date: Sun, 10 Jun 2018 17:36:54 +0200
Subject: [zsh] Remove obsolete isabelle functions

---
 .zsh/functions/IJ | 1 -
 1 file changed, 1 deletion(-)
 delete mode 120000 .zsh/functions/IJ

(limited to '.zsh/functions/IJ')

diff --git a/.zsh/functions/IJ b/.zsh/functions/IJ
deleted file mode 120000
index ae92333..0000000
--- a/.zsh/functions/IJ
+++ /dev/null
@@ -1 +0,0 @@
-IE
\ No newline at end of file
-- 
cgit v1.2.3-54-g00ecf