diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-08 16:09:34 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-08 16:09:34 +0100 |
| commit | 755b6533e0ba12eb8db8e02029b5b309ee9cc842 (patch) | |
| tree | 5398c8048ac57fe2604eb0292f083dae4ce2b246 /src/core/libs/lib-ui-interactive.sh | |
| parent | 0470af2a8ef914d68fe4e7b303c0c527c9ee943b (diff) | |
sort procedure names in help message
Diffstat (limited to 'src/core/libs/lib-ui-interactive.sh')
0 files changed, 0 insertions, 0 deletions