diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-02-28 16:29:49 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-02-28 16:29:49 +0100 |
| commit | a22294e811ffc7b5765aa0b7190b438588222e1b (patch) | |
| tree | fa97429dfe9d80ddccde1de4f41fb5bbf5b2a690 /src/core/libs/lib-software.sh | |
| parent | 4d7dbff90b8333deb2c2c3c0dbd1aa3e9aafa3d5 (diff) | |
error checking on $TYPE in ask_option
Diffstat (limited to 'src/core/libs/lib-software.sh')
0 files changed, 0 insertions, 0 deletions