zsh: replace $(which ...) with $(type ...)
authorMichael Prokop <mika@grml.org>
Mon, 3 Dec 2007 21:18:53 +0000 (22:18 +0100)
committerMichael Prokop <mika@grml.org>
Mon, 3 Dec 2007 21:18:53 +0000 (22:18 +0100)

No differences found