From: Simon Ruderich Date: Mon, 10 Feb 2014 11:39:29 +0000 (+0100) Subject: zsh/rc: Remove ghci wrapper function. X-Git-Url: https://ruderich.org/simon/gitweb/?a=commitdiff_plain;ds=sidebyside;h=ec5e39a4038ef025239ea81db2cb20832757c0cb;hp=ec5e39a4038ef025239ea81db2cb20832757c0cb;p=config%2Fdotfiles.git zsh/rc: Remove ghci wrapper function. ---