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 /.gitignore | |
| parent | ee07a74fb646d08ee38dcc36b3b61fec6457081b (diff) | |
build: Disable makeinfo runs.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions