diff options
author | Karl Berry <karl@freefriends.org> | 2022-01-28 22:36:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-01-28 22:36:18 +0000 |
commit | 8e0222695a489184e3cc92e2206db971a5ac48d7 (patch) | |
tree | 99a87c1d1a3890dcb28b20d17ae8d9087dae5abf /Master/bin/x86_64-linux | |
parent | 80c6e1a9d95b03212dfaf529e0266286828573e0 (diff) |
texlogfilter (28jan22)
git-svn-id: svn://tug.org/texlive/trunk@61780 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linux')
l--------- | Master/bin/x86_64-linux/texlogfilter | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/texlogfilter b/Master/bin/x86_64-linux/texlogfilter new file mode 120000 index 00000000000..0a4cf27af64 --- /dev/null +++ b/Master/bin/x86_64-linux/texlogfilter @@ -0,0 +1 @@ +../../texmf-dist/scripts/texlogfilter/texlogfilter
\ No newline at end of file |