Index of ftp://ftp.geologi.uio.no/pub/GNOME/devtools/2.20

[DIR] Parent Directory

[DIR] 2.20.0  43.00b  May 16 2019
[DIR] 2.20.1  43.00b  October 18 2007
[DIR] 2.20.2  43.00b  May 16 2019
[DIR] 2.20.3  43.00b  January 9 2008