Index of /Edu/focalsc/pool/main/f/fonts-dejavu

	Name	Last modified	Size	Description
	Parent Directory		-
	fonts-dejavu-extra_2..>	2022-09-16 12:58	1.9M
	fonts-dejavu_2.37-1_..>	2022-09-16 12:58	3.1K
	ttf-dejavu-extra_2.3..>	2022-09-16 12:58	3.0K