diff options
author | P. J. McDermott <pjm@nac.net> | 2013-12-08 01:26:27 (EST) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2013-12-08 01:26:27 (EST) |
commit | a629aa2e140debfff95402a17e0f01294cf3dbac (patch) | |
tree | fe0b73ac955fda91981e32b7b7b255019511e178 /control | |
parent | ee07a74fb646d08ee38dcc36b3b61fec6457081b (diff) |
build: Disable makeinfo runs.
Diffstat (limited to 'control')
0 files changed, 0 insertions, 0 deletions