Files
-rw-r--r-- | 2457 | root | root | /usr/share/man/man1/texdirflatten.1.gz |
-rwxr-xr-x | 6821 | root | root | /usr/share/texlive/texmf-dist/scripts/texdirflatten/texdirflatten |
-rw-r--r-- | 2457 | root | root | /usr/share/man/man1/texdirflatten.1.gz |
-rwxr-xr-x | 6821 | root | root | /usr/share/texlive/texmf-dist/scripts/texdirflatten/texdirflatten |