Apache/2.4.62 (Debian) Server at resources.mpi-inf.mpg.de Port 443Name Last modified Size Description
Parent Directory -
INFO.txt 2011-06-10 18:55 265
ball.zip 2011-06-10 18:20 350M
bbb.zip 2011-06-10 18:25 1.2G
polyhedra.zip 2011-06-10 17:49 182M
text_ball.zip 2011-06-10 17:55 183M
tunnel.zip 2011-06-10 18:01 407M
video.zip 2011-06-10 18:06 157M