diff options
| author | erdgeist <erdgeist@erdgeist.org> | 2006-05-22 00:41:58 +0000 |
|---|---|---|
| committer | erdgeist <erdgeist@erdgeist.org> | 2006-05-22 00:41:58 +0000 |
| commit | b478527a9c817d335324c9c5824ee3c3cd6fdc36 (patch) | |
| tree | 806ed061b81fcf9412e9e09933e8c6af3e483d3a /share/zsh | |
| parent | e71bebd00398541a96c70fe320c0062420b5a9e1 (diff) | |
Release attached-lock only, if device has really been detached.
Diffstat (limited to 'share/zsh')
0 files changed, 0 insertions, 0 deletions