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.