Index of /pub/unix/gui/GNOME/sources/gedit-latex/3.8

	Name	Last modified	Size	Description

	Parent Directory		-
	LATEST-IS-3.8.0	2016-05-10 11:51	433K
	gedit-latex-3.8.0.news	2016-05-10 11:51	1.4K
	gedit-latex-3.8.0.sha256sum	2016-05-10 11:51	180
	gedit-latex-3.8.0.tar.xz	2016-05-10 11:51	433K

Apache/2.4.62 (Debian) Server at ftp.pl.vim.org Port 443