diff options
author | Karl Berry <karl@freefriends.org> | 2019-06-07 21:07:10 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-06-07 21:07:10 +0000 |
commit | 7505e4e41b8f39a1b0869f6296bf66490f572a35 (patch) | |
tree | 86b250efba7ceeaa6cc7a30cdae792e8b3878353 /Master/texmf-dist/scripts | |
parent | 2aaf1c424a597d028346460500be0549ae136432 (diff) |
xindex (7jun19)
git-svn-id: svn://tug.org/texlive/trunk@51340 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
-rwxr-xr-x | Master/texmf-dist/scripts/xindex/xindex.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/xindex/xindex.lua b/Master/texmf-dist/scripts/xindex/xindex.lua index 3b195991621..74f4edaa21f 100755 --- a/Master/texmf-dist/scripts/xindex/xindex.lua +++ b/Master/texmf-dist/scripts/xindex/xindex.lua @@ -8,7 +8,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.12 + local version = 0.13 xindex.version = version --xindex.self = "xindex" |