Index of /DOCKER/docker_copy/overlay2/40ade219b140a0247543f6d10de70a5aca48d700ebc5cd7b1409d66c57fda5ba/diff/usr/share/texlive/texmf-dist/fonts/map/dvips/txfonts/


../
txfonts.map                                        02-Feb-2025 19:33                1714
txr.map                                            02-Feb-2025 19:33                2394
txr1.map                                           02-Feb-2025 19:33                2534
txr2.map                                           02-Feb-2025 19:33                2599
txr3.map                                           02-Feb-2025 19:33                1922