Uwe Stöhr Wed, 18 Jul 2007 16:46:02 -0700
>> OK, but what about the docs? Should I remove the description of linuxdoc or >> not?
> Remove it. Done. Uwe