Index of /gnome/devtools/2.20/2.20.0/sources
Name Last modified Size Description
Parent Directory -
devhelp-0.16.tar.bz2 2007-09-10 19:50 456K
devhelp-0.16.tar.gz 2007-09-10 19:50 617K
accerciser-1.0.0.tar.gz 2007-09-17 08:01 910K
accerciser-1.0.0.tar.bz2 2007-09-17 08:01 842K
glade3-3.4.0.tar.bz2 2007-09-17 16:25 1.4M
glade3-3.4.0.tar.gz 2007-09-17 16:25 2.2M
gnome-devel-docs-2.20.0.tar.gz 2007-09-17 22:50 2.4M
gnome-devel-docs-2.20.0.tar.bz2 2007-09-17 22:50 2.3M
MD5SUMS-for-bz2 2007-09-19 20:20 235
MD5SUMS-for-gz 2007-09-19 20:20 231
Apache/2.4.41 (Ubuntu) Server at dewy.fem.tu-ilmenau.de Port 80