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/ofm2opl | |
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/ofm2opl')
l--------- | Master/bin/mips-irix/ofm2opl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/bin/mips-irix/ofm2opl b/Master/bin/mips-irix/ofm2opl deleted file mode 120000 index b1299fc008c..00000000000 --- a/Master/bin/mips-irix/ofm2opl +++ /dev/null @@ -1 +0,0 @@ -omfonts
\ No newline at end of file |