diff options
| author | P. J. McDermott <pjm@nac.net> | 2014-01-28 18:06:21 (EST) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2014-01-28 18:07:49 (EST) |
| commit | 78eecaeb1eaf23551d85afa18879dab5ef9b24ab (patch) | |
| tree | e08c38b690fe1e5d21fdad2d10a98cdc1aef8bd8 /.gitignore | |
| parent | 2c87969568a552b7d17c69aef51a891528d54359 (diff) | |
build: Build with "MAKEINFO=true".
See <https://sourceware.org/bugzilla/show_bug.cgi?id=15345>.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions