diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-09-20 11:59:07 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-09-20 11:59:07 (EDT) |
| commit | 26e0fe4d63817d78cb85501961fd80c4150f345c (patch) | |
| tree | 7780c0d4fa017c5b075be4053906082ab1843915 /src/ob-installdocs.sh | |
| parent | b73deddf0d6f448114ce1b2d30e7f60e1423846d (diff) | |
Makefile.in: Install optstring file
Diffstat (limited to 'src/ob-installdocs.sh')
0 files changed, 0 insertions, 0 deletions