Index of /source-14.2/source/t/tetex/profile.d
Name
Last modified
Size
Description
Parent Directory
-
tetex.csh
2000-04-24 21:46
134
tetex.sh
2000-04-24 21:46
118
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}