commit: support zsh profiling via $ZSH_PROFILE_RC and profile()

[Michael Prokop]

Changeset available online at:

http://hg.grml.org/grml-etc-core/rev/8575a04b7e7bb98a0e6372ec59f03aae4ca325f1


changeset:   75:8575a04b7e7bb98a0e6372ec59f03aae4ca325f1
tag:         tip
user:        Michael Prokop <mika at grml.org>
date:        Fri Jan 05 19:36:19 2007 +0100
files:       debian/changelog etc/zsh/zshrc
description:
support zsh profiling via $ZSH_PROFILE_RC and profile()