diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-07-23 19:16:03 +0200 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-07-23 19:16:03 +0200 |
| commit | 402c82ba540388593371271733bd3565a702d6ff (patch) | |
| tree | 15c6724254c35ce11c758c04a7229f67e6416f59 /src/core/libs/lib-ui-interactive.sh | |
| parent | af8c0e6ae69575d78ce69ecb7fb65399481f5fde (diff) | |
delete not so useful anymore howto
Diffstat (limited to 'src/core/libs/lib-ui-interactive.sh')
0 files changed, 0 insertions, 0 deletions