diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-01 16:36:01 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-01 16:36:01 +0100 |
| commit | fc3a5409fbddaa8f1093eecbbe16803d97a3e4f1 (patch) | |
| tree | 26e8e8f217e2dd0fff9a9ab183fcde9f4206a46f /src/lib/lib-ui.sh | |
| parent | 2ce56eccb5e0e62c8a98e2710922e96110f9581c (diff) | |
ask_yesno bugfix + todos added
Diffstat (limited to 'src/lib/lib-ui.sh')
0 files changed, 0 insertions, 0 deletions