Index of /sites/ftp.gnome.org/pub/GNOME/devtools/2.20/

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 2.20.0/                                  2019-05-17 00:45    -   
 2.20.1/                                  2007-10-18 20:37    -   
 2.20.2/                                  2019-05-17 00:45    -   
 2.20.3/                                  2008-01-09 13:44    -