../ doc/ 11-Feb-2025 13:24 - script/ 11-Feb-2025 13:24 - COPYING 11-Feb-2025 13:24 34K NEWS 11-Feb-2025 13:24 9992 README.md 11-Feb-2025 13:24 3871 texdoc.cnf 11-Feb-2025 13:24 17K