diff options
author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2020-10-06 18:01:06 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-06 18:01:06 -0400 |
commit | 86e6adc799ef0dd9019002f623f733973b6e46dd (patch) | |
tree | 240c420237664befc34d0206c04824a77f66a0c0 /pkgs/test/texlive | |
parent | e97be2a1660249359ac455d3475f02974741243c (diff) | |
parent | 0f564014b60862d494f713c858c1b9e1d3f81ef4 (diff) |
Merge pull request #99093 from veprbl/pr/texlive_chktex_fix
texlive: move chktex from texlive.bin.core to texlive.bin.chktex
Diffstat (limited to 'pkgs/test/texlive')
0 files changed, 0 insertions, 0 deletions