diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-11 20:00:55 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-11 20:00:55 +0100 |
commit | 7990fa7464bc1f68e84318e9e54fa76498808ec8 (patch) | |
tree | f3b39117db31985907c76a417962136862837632 /src/core/libs/lib-ui.sh | |
parent | f154d48b5fc0b2fffaf1b1d7a8b2c28dbac7df65 (diff) |
cleanup of useless stuff
Diffstat (limited to 'src/core/libs/lib-ui.sh')
0 files changed, 0 insertions, 0 deletions