diff options
| author | P. J. McDermott <pjm@nac.net> | 2013-06-15 15:25:38 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2013-06-15 15:25:38 (EDT) |
| commit | 32f7ccc0b1e3a32dad9d4f7acfe72f5069aaa9b3 (patch) | |
| tree | 2a66cf55f43d0b9c95ce09fe85c608a2ad85ed06 /src/ob-installdocs.sh | |
| parent | 06ea7decdeb2e7d2cdb0857f59623c3e919489d1 (diff) | |
Remove old input makefiles.
Diffstat (limited to 'src/ob-installdocs.sh')
0 files changed, 0 insertions, 0 deletions