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/latex-dev-dev | |
parent | 51e129f74bc7a15741ee101f24d917c7d7ccec5f (diff) |
rename latex-dev-dev to devlatex
Diffstat (limited to 'bin/x86_64-linux/latex-dev-dev')
l--------- | bin/x86_64-linux/latex-dev-dev | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/bin/x86_64-linux/latex-dev-dev b/bin/x86_64-linux/latex-dev-dev deleted file mode 120000 index 3b47c905..00000000 --- a/bin/x86_64-linux/latex-dev-dev +++ /dev/null @@ -1 +0,0 @@ -pdftex-dev
\ No newline at end of file |