diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-05-07 13:17:05 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-05-07 13:17:05 (EDT) |
| commit | af5d5b31625974ab0384ab0b3f301ad804240ed7 (patch) | |
| tree | dedd8efe8ee00c0e5367ba2dfb9bb61f80ce63f7 /control | |
| parent | 6b8e4081f0e47ed7926598ce86601e3345041458 (diff) | |
build: Disable makeinfo runs.
Diffstat (limited to 'control')
0 files changed, 0 insertions, 0 deletions