diff options
-rwxr-xr-x | Master/bin/armhf-linux/asy | bin | 29144940 -> 32800688 bytes |
-rwxr-xr-x | Master/bin/armhf-linux/dvipng | bin | 876064 -> 876068 bytes |
-rwxr-xr-x | Master/bin/armhf-linux/dvips | bin | 236472 -> 236472 bytes |
-rwxr-xr-x | Master/bin/armhf-linux/eptex | bin | 556056 -> 556056 bytes |
-rwxr-xr-x | Master/bin/armhf-linux/euptex | bin | 561472 -> 561472 bytes |
-rwxr-xr-x | Master/bin/armhf-linux/mflua | bin | 531192 -> 531192 bytes |
-rwxr-xr-x | Master/bin/armhf-linux/mfluajit | bin | 764744 -> 764744 bytes |
7 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/armhf-linux/asy b/Master/bin/armhf-linux/asy Binary files differindex 5dfbdeecc61..e0d0f43f529 100755 --- a/Master/bin/armhf-linux/asy +++ b/Master/bin/armhf-linux/asy diff --git a/Master/bin/armhf-linux/dvipng b/Master/bin/armhf-linux/dvipng Binary files differindex d307ff45f7f..59067391811 100755 --- a/Master/bin/armhf-linux/dvipng +++ b/Master/bin/armhf-linux/dvipng diff --git a/Master/bin/armhf-linux/dvips b/Master/bin/armhf-linux/dvips Binary files differindex 3a02b27d8ac..4df50171e85 100755 --- a/Master/bin/armhf-linux/dvips +++ b/Master/bin/armhf-linux/dvips diff --git a/Master/bin/armhf-linux/eptex b/Master/bin/armhf-linux/eptex Binary files differindex 3709de591a0..80e65cdef9a 100755 --- a/Master/bin/armhf-linux/eptex +++ b/Master/bin/armhf-linux/eptex diff --git a/Master/bin/armhf-linux/euptex b/Master/bin/armhf-linux/euptex Binary files differindex bb713cf521a..43d68699847 100755 --- a/Master/bin/armhf-linux/euptex +++ b/Master/bin/armhf-linux/euptex diff --git a/Master/bin/armhf-linux/mflua b/Master/bin/armhf-linux/mflua Binary files differindex 393108537c3..76996aa6e70 100755 --- a/Master/bin/armhf-linux/mflua +++ b/Master/bin/armhf-linux/mflua diff --git a/Master/bin/armhf-linux/mfluajit b/Master/bin/armhf-linux/mfluajit Binary files differindex 4aebd94f426..cee6e323f98 100755 --- a/Master/bin/armhf-linux/mfluajit +++ b/Master/bin/armhf-linux/mfluajit |