diff options
Diffstat (limited to 'gnu/usr.bin/texinfo/misc/texindex')
| -rwxr-xr-x | gnu/usr.bin/texinfo/misc/texindex | bin | 0 -> 52315 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnu/usr.bin/texinfo/misc/texindex b/gnu/usr.bin/texinfo/misc/texindex Binary files differnew file mode 100755 index 000000000000..7ec39200bf9b --- /dev/null +++ b/gnu/usr.bin/texinfo/misc/texindex |