Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README.cfg 2021-08-26 17:27 2.3K
distiller.cfg 2021-08-26 17:27 2.0K
dvips.cfg 2021-08-26 17:27 15K
dvipsone.cfg 2021-08-26 17:27 4.8K
gastex.cfg 2021-08-26 17:27 4.3K
textures.cfg 2021-08-26 17:27 4.6K
vtex.cfg 2021-08-26 17:27 5.9K
xdvipdfmx.cfg 2021-09-06 09:00 8.6K