summaryrefslogtreecommitdiff
path: root/20_Options.zsh
diff options
context:
space:
mode:
authorHugues Hiegel <hugues@hiegel.fr>2009-01-30 11:25:25 +0100
committerHugues Hiegel <hugues@hiegel.fr>2009-01-30 11:25:25 +0100
commit1d11c8d26b289ca1c900255df6c49f38767c78cf (patch)
treefdde58db4fefb38fcaac9eb743120bff7e988701 /20_Options.zsh
parent0dfcb165d38197e60126cf9e720ec254fc26ad24 (diff)
[PROMPT] better managment of agents if they have been killed
Diffstat (limited to '20_Options.zsh')
0 files changed, 0 insertions, 0 deletions