diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2010-12-12 21:22:58 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2010-12-12 21:23:16 +0100 |
| commit | fd76714bcbf1dfb470f0f4c4c55ae4d50c158305 (patch) | |
| tree | 3fd014c4f36ea4e6f5f8d7c3e9389872edd261ef /NOTES | |
| parent | 312062959af3388c642f6764137aa695c3737f78 (diff) | |
make ask_option calls more uniform and nice (allow spaces)
Diffstat (limited to 'NOTES')
0 files changed, 0 insertions, 0 deletions