diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-08 16:34:50 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-08 16:34:50 +0100 |
| commit | 84f3b27c7a0c48f33d2d5fad33645f34c3bc4e7d (patch) | |
| tree | a4355411f5573d7d6cfa18c683506ecc903d3b05 /src/core/libs/lib-ui.sh | |
| parent | 755b6533e0ba12eb8db8e02029b5b309ee9cc842 (diff) | |
better way to handle issues after partitioning
Diffstat (limited to 'src/core/libs/lib-ui.sh')
0 files changed, 0 insertions, 0 deletions