Dear user of ftp.gwdg.de, we will have a scheduled downtime for FTP

at July, 22nd from 7am approx. till 4pm

Index of /pub/x11/

Index of /pub/x11/


../
mix/                                               08-Sep-2010 14:36                   -
tcl/                                               06-Jun-2006 07:57                   -
x.org/                                             23-Jul-2007 14:22                   -