Index of /courses/texmacs/plugins/shell

	Name	Last modified	Size	Description
	Parent Directory		-
	src/	2022-08-16 07:41	-
	progs/	2022-08-16 07:41	-
	doc/	2022-08-16 07:41	-
	bin/	2022-08-16 07:41	-
	Makefile	2022-08-16 07:41	754
	CMakeLists.txt	2022-08-16 07:41	243