diff options
Diffstat (limited to 'Master/bin/alpha-linux')
| l--------- | Master/bin/alpha-linux/a5toa4 | 1 | ||||
| l--------- | Master/bin/alpha-linux/pfarrei | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/Master/bin/alpha-linux/a5toa4 b/Master/bin/alpha-linux/a5toa4 new file mode 120000 index 00000000000..35fc66c981d --- /dev/null +++ b/Master/bin/alpha-linux/a5toa4 @@ -0,0 +1 @@ +../../texmf-dist/scripts/pfarrei/a5toa4.tlu
\ No newline at end of file diff --git a/Master/bin/alpha-linux/pfarrei b/Master/bin/alpha-linux/pfarrei new file mode 120000 index 00000000000..307701adb32 --- /dev/null +++ b/Master/bin/alpha-linux/pfarrei @@ -0,0 +1 @@ +../../texmf-dist/scripts/pfarrei/pfarrei.tlu
\ No newline at end of file |