Index of /mirror/CTAN/obsolete/graphics/metapost/base/source/texk/texlive/linked_scripts/texdef
Name
Last modified
Size
Parent Directory
-
texdef.pl
2013-06-16 16:38
32K
Apache/2.4.58 (Unix) Server at ftp.sunet.se Port 443
![[ICO]](/icons2/blank.png)
![[PARENTDIR]](/icons2/go-previous.png)
![[SCR]](/icons2/text-x-script.png)