Index of /support/runtexshebang

	Name	Last modified	Size	Description

	Parent Directory		-
	LICENSE	2023-11-17 07:30	1.1K
	README.md	2023-11-17 07:30	3.9K
	runtexshebang.lua	2023-11-17 07:30	3.2K

Apache/2.4.52 (Ubuntu) Server at ctan.ceremade.dauphine.fr Port 80