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 | |
parent | 51e129f74bc7a15741ee101f24d917c7d7ccec5f (diff) |
rename latex-dev-dev to devlatex
Diffstat (limited to 'bin/x86_64-linux')
l--------- | bin/x86_64-linux/devlatex (renamed from bin/x86_64-linux/latex-dev-dev) | 0 | ||||
l--------- | bin/x86_64-linux/devpdflatex (renamed from bin/x86_64-linux/pdflatex-dev-dev) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/bin/x86_64-linux/latex-dev-dev b/bin/x86_64-linux/devlatex index 3b47c905..3b47c905 120000 --- a/bin/x86_64-linux/latex-dev-dev +++ b/bin/x86_64-linux/devlatex diff --git a/bin/x86_64-linux/pdflatex-dev-dev b/bin/x86_64-linux/devpdflatex index 3b47c905..3b47c905 120000 --- a/bin/x86_64-linux/pdflatex-dev-dev +++ b/bin/x86_64-linux/devpdflatex |