diff options
author | P. J. McDermott <pjm@nac.net> | 2013-12-08 02:47:17 (EST) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2013-12-08 02:47:17 (EST) |
commit | 4f273b08e57ac6dadd5c993d38eddde5f77f09d7 (patch) | |
tree | 093be3ea5800140e4d61c3c434f34d9bf0c388d2 /.gitignore | |
parent | c925963d0499550d698d9bf62270fed71247a30a (diff) |
build: Remove info files also provided by gdb-doc.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions