Hi Carl, I downloaded the images I had deleted before. That wasn't enough. I think the problem was that one needs to commit after adding files. (I'm new to git :-) )
/Jens Axel _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

