summaryrefslogtreecommitdiff
path: root/.zsh/zshrc
diff options
context:
space:
mode:
authorRené Neumann <rene.neumann@in.tum.de>2011-08-10 17:37:35 +0200
committerRené Neumann <rene.neumann@in.tum.de>2011-08-10 17:37:36 +0200
commit0d3c5d8badbdf8892ed586a30033fd02ee361372 (patch)
tree82906b0583a82d21b2534763d64b8818281e2f56 /.zsh/zshrc
parent6b9d7131d8f4d811d5ce597ca74045c600ec3ef5 (diff)
downloaddotfiles-0d3c5d8badbdf8892ed586a30033fd02ee361372.tar.gz
dotfiles-0d3c5d8badbdf8892ed586a30033fd02ee361372.tar.bz2
dotfiles-0d3c5d8badbdf8892ed586a30033fd02ee361372.zip
More advanced IE script
Diffstat (limited to '.zsh/zshrc')
-rw-r--r--.zsh/zshrc1
1 files changed, 0 insertions, 1 deletions
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'