diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-06-13 22:43:34 +0200 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-06-13 22:43:34 +0200 |
commit | 2f04d6ec4c44aceda336c071754406523f03602f (patch) | |
tree | 938a192d55921a80e17820a6d9a5bc9d635abf75 /src/core/libs/lib-ui-interactive.sh | |
parent | ad21a90b54a7f6865196625a05cf4b5a82a466f7 (diff) |
makefile. can be quite useful
Diffstat (limited to 'src/core/libs/lib-ui-interactive.sh')
0 files changed, 0 insertions, 0 deletions