diff options
author | Norbert Preining <norbert@preining.info> | 2021-11-09 14:32:27 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-11-09 14:32:27 +0900 |
commit | 84340f13be07a07d0b39b6c670a3a5b3244c671c (patch) | |
tree | cf6a2f2c5844f45113d9131b8d93e05a71beb20c /bin/x86_64-linux/devpdflatex | |
parent | 51e129f74bc7a15741ee101f24d917c7d7ccec5f (diff) |
rename latex-dev-dev to devlatex
Diffstat (limited to 'bin/x86_64-linux/devpdflatex')
l--------- | bin/x86_64-linux/devpdflatex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/x86_64-linux/devpdflatex b/bin/x86_64-linux/devpdflatex new file mode 120000 index 00000000..3b47c905 --- /dev/null +++ b/bin/x86_64-linux/devpdflatex @@ -0,0 +1 @@ +pdftex-dev
\ No newline at end of file |