Index of /pub/texlive/Contents/live/texmf-dist/fonts/map/dvips/plex

	Name	Last modified	Size
	Parent Directory		-
	plex.map	2019-01-01 15:21	76K
	IBMPlexSansCondensed.map	2019-01-01 15:21	22K