From 0d3c5d8badbdf8892ed586a30033fd02ee361372 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Neumann?= <rene.neumann@in.tum.de>
Date: Wed, 10 Aug 2011 17:37:35 +0200
Subject: More advanced IE script

---
 .zsh/zshrc | 1 -
 1 file changed, 1 deletion(-)

(limited to '.zsh/zshrc')

diff --git a/.zsh/zshrc b/.zsh/zshrc
index e35ef44..bcde10b 100644
--- a/.zsh/zshrc
+++ b/.zsh/zshrc
@@ -39,7 +39,6 @@ alias pstart='./portato.py -F'
 alias quickweb='python -c "import SimpleHTTPServer;SimpleHTTPServer.test()"'
 alias CH='./configure --help | less'
 alias FF='noglob firefox'
-alias IE='isabelle emacs -m iff'
 
 # suffixes
 alias -s exe='wine'
-- 
cgit v1.2.3