diff options
| author | Mike Frysinger <vapier@gentoo.org> | 2021-12-01 23:43:29 -0500 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2022-02-11 04:20:49 -0500 |
| commit | 7c1aa0090f673e29e0b54eae9975b2c1b72a49d2 (patch) | |
| tree | 5069ed3e9ce28b2231c4f086e051565f7cb08782 /gdb/doc | |
| parent | a288518611dbda5cfae8894d532cf1040cb1b6c2 (diff) | |
| download | gdb-7c1aa0090f673e29e0b54eae9975b2c1b72a49d2.zip gdb-7c1aa0090f673e29e0b54eae9975b2c1b72a49d2.tar.gz gdb-7c1aa0090f673e29e0b54eae9975b2c1b72a49d2.tar.bz2 | |
libctf: delete unused libctf_TEXINFOS
It's not clear what this was meant for, but it's not used by anything,
and the info pages still generate fine without it.
Diffstat (limited to 'gdb/doc')
0 files changed, 0 insertions, 0 deletions