diff options
author | P. J. McDermott <pjm@nac.net> | 2012-10-23 23:20:08 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2012-10-23 23:20:08 (EDT) |
commit | cf79b86ee0bb712eb69c0ff9ceb7917c5b1aa07b (patch) | |
tree | e46b38eab70cbebfecc15ca911dcba2fc8403348 /src/ob-installdocs.sh | |
parent | 61a75a56f0f8e75de67c10319f363e305f3e2970 (diff) |
Make optional the space after ":" in control info.
Diffstat (limited to 'src/ob-installdocs.sh')
0 files changed, 0 insertions, 0 deletions