diff options
| -rwxr-xr-x | Master/bin/alpha-linux/bibtexu | bin | 18947656 -> 18947656 bytes |
| -rwxr-xr-x | Master/bin/alpha-linux/lacheck | bin | 66208 -> 66240 bytes |
| -rwxr-xr-x | Master/bin/alpha-linux/luatex | bin | 10261592 -> 10261688 bytes |
| -rwxr-xr-x | Master/bin/alpha-linux/mpost | bin | 2674312 -> 2674312 bytes |
| -rwxr-xr-x | Master/bin/alpha-linux/pmpost | bin | 2716136 -> 2716136 bytes |
| -rwxr-xr-x | Master/bin/alpha-linux/upmpost | bin | 2716144 -> 2716144 bytes |
| -rwxr-xr-x | Master/bin/alpha-linux/xetex | bin | 24033600 -> 24033600 bytes |
7 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/alpha-linux/bibtexu b/Master/bin/alpha-linux/bibtexu Binary files differindex b15dfe0b008..54777fb22a5 100755 --- a/Master/bin/alpha-linux/bibtexu +++ b/Master/bin/alpha-linux/bibtexu diff --git a/Master/bin/alpha-linux/lacheck b/Master/bin/alpha-linux/lacheck Binary files differindex 6b4b0834b8b..adffc65ea6c 100755 --- a/Master/bin/alpha-linux/lacheck +++ b/Master/bin/alpha-linux/lacheck diff --git a/Master/bin/alpha-linux/luatex b/Master/bin/alpha-linux/luatex Binary files differindex cf9f797bfc0..c16bcb684d6 100755 --- a/Master/bin/alpha-linux/luatex +++ b/Master/bin/alpha-linux/luatex diff --git a/Master/bin/alpha-linux/mpost b/Master/bin/alpha-linux/mpost Binary files differindex 92a2b0c5855..5a5ca44871c 100755 --- a/Master/bin/alpha-linux/mpost +++ b/Master/bin/alpha-linux/mpost diff --git a/Master/bin/alpha-linux/pmpost b/Master/bin/alpha-linux/pmpost Binary files differindex 67088d55e99..44ebf6a1e59 100755 --- a/Master/bin/alpha-linux/pmpost +++ b/Master/bin/alpha-linux/pmpost diff --git a/Master/bin/alpha-linux/upmpost b/Master/bin/alpha-linux/upmpost Binary files differindex fe464bfca2a..69bb8db1257 100755 --- a/Master/bin/alpha-linux/upmpost +++ b/Master/bin/alpha-linux/upmpost diff --git a/Master/bin/alpha-linux/xetex b/Master/bin/alpha-linux/xetex Binary files differindex 43ba6f4a7fd..c360cd434f9 100755 --- a/Master/bin/alpha-linux/xetex +++ b/Master/bin/alpha-linux/xetex |