diff options
author | Karl Berry <karl@freefriends.org> | 2014-05-04 22:01:31 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-05-04 22:01:31 +0000 |
commit | 105b1b71898a192b86eb4fbaf09f97ed7b6f8d2c (patch) | |
tree | 4bba7f43c67ae3190d5cfa1b5f6a8d35b48628bc /Master/bin/mips-irix/texdiff | |
parent | faf0bafd0d69f220cd6cd4c694289baf38a7ea07 (diff) |
remove mips-irix platform, builder is mia
git-svn-id: svn://tug.org/texlive/trunk@33828 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/mips-irix/texdiff')
l--------- | Master/bin/mips-irix/texdiff | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/bin/mips-irix/texdiff b/Master/bin/mips-irix/texdiff deleted file mode 120000 index 7964051040c..00000000000 --- a/Master/bin/mips-irix/texdiff +++ /dev/null @@ -1 +0,0 @@ -../../texmf-dist/scripts/texdiff/texdiff
\ No newline at end of file |