Name Last modified Size Description Parent Directory - README 29-Sep-2017 08:12 109 excludes.texmf 21-May-2022 20:43 523 packages.texmf 22-Mar-2023 08:35 14K texmf_get.sh 22-Mar-2023 08:53 32K Apache/2.2 Server at ftp.grnet.gr Port 80
Name Last modified Size Description Parent Directory - README 29-Sep-2017 08:12 109 excludes.texmf 21-May-2022 20:43 523 packages.texmf 22-Mar-2023 08:35 14K texmf_get.sh 22-Mar-2023 08:53 32K
Name Last modified Size Description![[DIR]](/images/back.gif)
Parent Directory -
![[TXT]](/images/readme.gif)
README 29-Sep-2017 08:12 109
![[ ]](/images/unknown.gif)
excludes.texmf 21-May-2022 20:43 523
packages.texmf 22-Mar-2023 08:35 14K
![[ ]](/images/wri.gif)
texmf_get.sh 22-Mar-2023 08:53 32K
