diff options
author | Karl Berry <karl@freefriends.org> | 2012-05-15 13:51:26 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-05-15 13:51:26 +0000 |
commit | c1a1889a64edb2fc51becedd54eab4d75d8062af (patch) | |
tree | 6b0a543152d811537fc0493b7c4d46c41cf9aaf7 /Master/bin/win32 | |
parent | b5e733509570a232123558dc19dba6b949e50aab (diff) |
rlxtools gone
git-svn-id: svn://tug.org/texlive/trunk@26403 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/win32')
-rwxr-xr-x | Master/bin/win32/rlxtools.exe | bin | 6144 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/win32/rlxtools.exe b/Master/bin/win32/rlxtools.exe Binary files differdeleted file mode 100755 index 745eaf22464..00000000000 --- a/Master/bin/win32/rlxtools.exe +++ /dev/null |