diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-16 19:25:36 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-16 19:25:36 +0100 |
commit | 99485b28aa396e68bd374d792c1686f396b7ee2e (patch) | |
tree | 01b60588e7224d88e60dcdeb9d21679f78ded183 /src/core/libs/lib-ui.sh | |
parent | 303a52a1af49db280d8d364aedc477e6f4316189 (diff) |
probably fix for deletion of dm_mapper devices
Diffstat (limited to 'src/core/libs/lib-ui.sh')
0 files changed, 0 insertions, 0 deletions