texlogfilter

12.53 KB -rwxr-xr-x

RPM 2257

File

Name: /usr/share/texlive/texmf-dist/scripts/texlogfilter/texlogfilter
Digest (sha256): 4422227b7f4a1a617f542a488cfa4b24598c361146aa494f5b849d56d132f253
Size: 12.53 KB
Modification time: Mon, 08 Jun 2026 00:00:00 UTC
Flags: none
RPM: texlive-texlogfilter-12:svn71525-112.fc45.noarch.rpm