diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-20 11:38:03 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-20 11:38:03 +0100 |
| commit | 2f839ffec30eea2025cced9fb690ab612795c6ac (patch) | |
| tree | 1ad88aa7e25f7bc2e510838bbbdf99aab7c7e0f1 /src/core/libs/lib-ui-interactive.sh | |
| parent | e70c69d7e5628fd5ebaf1836206113ceaf9b7354 (diff) | |
first move towards making my deployment procedure usable for other people too
Diffstat (limited to 'src/core/libs/lib-ui-interactive.sh')
0 files changed, 0 insertions, 0 deletions