diff options
Diffstat (limited to 't/txinfo-tex-dist.sh')
-rw-r--r--[-rwxr-xr-x] | t/txinfo-tex-dist.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/t/txinfo-tex-dist.sh b/t/txinfo-tex-dist.sh index ef52aeca8..ef52aeca8 100755..100644 --- a/t/txinfo-tex-dist.sh +++ b/t/txinfo-tex-dist.sh |