joerg 22 Sep 2003 20:41:00 -0000
joerg 2003/09/22 13:40:58
Removed: src/documentation/resources/images group-logo.gif icon.png Log: not in use
