diff options
| author | P. J. McDermott <pjm@nac.net> | 2012-10-11 14:37:41 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2012-10-11 14:39:50 (EDT) |
| commit | 3879c4c737b5903129b27a149ed5d7a632bbb3b0 (patch) | |
| tree | eb19ef38a53ed7b58f3d80d26b54ba1f496fd2c4 /.gitignore | |
| parent | e16054ac6d09feff4595ed8d15c3376ea053fbe0 (diff) | |
Run mkdir in ob-installdocs only if necessary.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions