diff options
-rwxr-xr-x | Master/bin/aarch64-linux/asy | bin | 3727040 -> 3710656 bytes |
-rwxr-xr-x | Master/bin/armhf-linux/dvisvgm | bin | 5193208 -> 5193208 bytes |
-rwxr-xr-x | Master/bin/x86_64-darwin/asy | bin | 10871216 -> 10875360 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/aarch64-linux/asy b/Master/bin/aarch64-linux/asy Binary files differindex 73be75757af..7733119da2c 100755 --- a/Master/bin/aarch64-linux/asy +++ b/Master/bin/aarch64-linux/asy diff --git a/Master/bin/armhf-linux/dvisvgm b/Master/bin/armhf-linux/dvisvgm Binary files differindex 0d7b714ce8e..6b1050a4e32 100755 --- a/Master/bin/armhf-linux/dvisvgm +++ b/Master/bin/armhf-linux/dvisvgm diff --git a/Master/bin/x86_64-darwin/asy b/Master/bin/x86_64-darwin/asy Binary files differindex cf6fa9bc946..ec23701f3b2 100755 --- a/Master/bin/x86_64-darwin/asy +++ b/Master/bin/x86_64-darwin/asy |