diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-18 15:51:44 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-18 15:51:44 +0100 |
| commit | 83df0500533e6e5b7a93b4d37df34a0952e2795b (patch) | |
| tree | de86160f07a553ac8069e55cbe0202b15ca3c0da /src/core/libs/lib-ui.sh | |
| parent | c5e7eea26c1ce2305012ab67d88e54477e389ccd (diff) | |
mirrorlist scope/softcoding cleanups
Diffstat (limited to 'src/core/libs/lib-ui.sh')
0 files changed, 0 insertions, 0 deletions