Index of /DOCKER/docker_copy/overlay2/40ade219b140a0247543f6d10de70a5aca48d700ebc5cd7b1409d66c57fda5ba/diff/etc/texmf/texdoctk/

../
texdocrc.defaults                                  02-Feb-2025 19:33                1910