On Sun, Apr 01, 2007 at 06:22:44PM +0200, Michael Gerz wrote: > Hi, > > I think it is time to restore the old banner. > > On that occasion, I am going to change banner.ppm to banner.png. > > Any objections?
Not from me. Andre'
On Sun, Apr 01, 2007 at 06:22:44PM +0200, Michael Gerz wrote: > Hi, > > I think it is time to restore the old banner. > > On that occasion, I am going to change banner.ppm to banner.png. > > Any objections?
Not from me. Andre'