>>>> Are we sure that all >>>> development pages should be in the wiki part (do we need some 'official' >>>> devel pages?). >>> >>> Hmm... not sure why we'd need that to be honest... >> >> - clear distinction of devel pages we care and we do not >> - its good to have some basic info for development newcomers, you >> get easily lost in wiki devel unless you know exactly where are >> you going. > > You had me convinced a while back, but thanks for the additional > motivation. If those wiki pages were up, I'd copy your post there!
on a different note: what about this header? http://195.113.31.123/~sanda/junk/header.gif i didn't find a way how to put it to wiki. Christian can you put it in, if you find this version better? pavel