>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:

Michael> I don't have a formal proof that they are useless but all
Michael> other *.ui files don't have a caption anymore, too.

Michael> OK to commit?

Yes.

JMarc

Reply via email to