Am Donnerstag, 31. Oktober 2002 23:28 schrieb Colin Walters: > On Thu, 2002-10-31 at 02:22, Michael Koch wrote: > > Description : wftk is a Graphical User Interface library > > for C++ > > No need to have "wftk is" there. It is already clear from the > context. I suggest just dropping it. Thanks, will do. Michael -- Homepage: http://www.worldforge.org/ GPG-key: http://konqueror.dyndns.org/~mkoch/michael.gpg