diff options
| author | P. J. McDermott <pjm@nac.net> | 2013-06-15 13:02:24 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2013-06-15 13:02:24 (EDT) |
| commit | 158ed6fd47b7760d32a09efd9916865d0b96cd73 (patch) | |
| tree | a59696d57c80cac35b19bce2defc12b0dcb9be84 /src/ob-installdocs.sh | |
| parent | a5bba3e6fc970d6ea91d9679dbeb0c90fcf60b65 (diff) | |
configure: Only edit top-level makefile.
Diffstat (limited to 'src/ob-installdocs.sh')
0 files changed, 0 insertions, 0 deletions