diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2011-01-02 20:56:08 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2011-01-02 20:56:11 +0100 |
| commit | 3334ed8e7cb451b8a007077b84d532838207ed62 (patch) | |
| tree | 8964ecc763724f155e2c0ff1eab2cef0146481ac /src/core/libs/lib-ui.sh | |
| parent | 0a5c3d98148becd45707d011900d83dc1d94c0cf (diff) | |
unbreak interactive_configure_system menu
was broken since 5c03ae0f698800e4cae751df078443e5fc461787
Diffstat (limited to 'src/core/libs/lib-ui.sh')
0 files changed, 0 insertions, 0 deletions