diff options
author | Karl Berry <karl@freefriends.org> | 2017-03-24 22:42:34 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-03-24 22:42:34 +0000 |
commit | 290d4ccb69531961a454b334f0ede186ebe88396 (patch) | |
tree | 83d0719b94664b447a639185536560c09b28b42b /Master/bin/armhf-linux | |
parent | ae2003403c75fd90aa7273314aad1b78c1feec89 (diff) |
texosquery (24mar17)
git-svn-id: svn://tug.org/texlive/trunk@43596 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/armhf-linux')
l--------- | Master/bin/armhf-linux/texosquery | 2 | ||||
l--------- | Master/bin/armhf-linux/texosquery-jre5 | 1 | ||||
l--------- | Master/bin/armhf-linux/texosquery-jre8 | 1 |
3 files changed, 3 insertions, 1 deletions
diff --git a/Master/bin/armhf-linux/texosquery b/Master/bin/armhf-linux/texosquery index 507d22edfe4..2946bce9d51 120000 --- a/Master/bin/armhf-linux/texosquery +++ b/Master/bin/armhf-linux/texosquery @@ -1 +1 @@ -../../texmf-dist/scripts/texosquery/texosquery
\ No newline at end of file +../../texmf-dist/scripts/texosquery/texosquery.sh
\ No newline at end of file diff --git a/Master/bin/armhf-linux/texosquery-jre5 b/Master/bin/armhf-linux/texosquery-jre5 new file mode 120000 index 00000000000..5bc0a41e3a3 --- /dev/null +++ b/Master/bin/armhf-linux/texosquery-jre5 @@ -0,0 +1 @@ +../../texmf-dist/scripts/texosquery/texosquery-jre5.sh
\ No newline at end of file diff --git a/Master/bin/armhf-linux/texosquery-jre8 b/Master/bin/armhf-linux/texosquery-jre8 new file mode 120000 index 00000000000..96251bb6b92 --- /dev/null +++ b/Master/bin/armhf-linux/texosquery-jre8 @@ -0,0 +1 @@ +../../texmf-dist/scripts/texosquery/texosquery-jre8.sh
\ No newline at end of file |