DELETED logos/fkie,logo.gif Index: logos/fkie,logo.gif ================================================================== --- logos/fkie,logo.gif +++ logos/fkie,logo.gif cannot compute difference between binary files ADDED logos/fkie,logo.svg Index: logos/fkie,logo.svg ================================================================== --- logos/fkie,logo.svg +++ logos/fkie,logo.svg cannot compute difference between binary files Index: slides.svg ================================================================== --- slides.svg +++ slides.svg cannot compute difference between binary files