Index of /pub/linux/distributions/misc/rocklinux/ROCK-2.0/gnome2/gedit-plugins
Name
Last modified
Size
Description
Parent Directory
-
gedit-plugins-2.3.5.tar.bz2
2004-08-10 17:32
691K
Apache/2.4 Server at linux.mathematik.tu-darmstadt.de Port 443