diff options
author | Karl Berry <karl@freefriends.org> | 2020-03-15 01:37:49 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-03-15 01:37:49 +0000 |
commit | 39b00ae32d953c3b0d2e1c7a1833e15efcc78cb2 (patch) | |
tree | 0edc930702c617e3a2c404ed089940612f0fa54f /Master/bin/x86_64-darwinlegacy/mkgrkindex | |
parent | 50b68eed1fae3531521c6c9e712c9c13e169161b (diff) |
finish lua2dox removal
git-svn-id: svn://tug.org/texlive/trunk@54316 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-darwinlegacy/mkgrkindex')
0 files changed, 0 insertions, 0 deletions