Re: [PATCH] Another message

2007-06-01 Thread Bo Peng
On 6/1/07, Michael Gerz <[EMAIL PROTECTED]> wrote: Shouldn't "include" be "child document"? Yes. Please commit. Bi

Re: [PATCH] Another message

2007-06-01 Thread José Matos
On Friday 01 June 2007 09:24:40 Michael Gerz wrote: > Shouldn't "include" be "child document"? I don't have any opinion about this. :-) > Michael -- José Abílio

[PATCH] Another message

2007-06-01 Thread Michael Gerz
Shouldn't "include" be "child document"? Michael Index: insets/InsetListingsParams.cpp === --- insets/InsetListingsParams.cpp (Revision 18618) +++ insets/InsetListingsParams.cpp (Arbeitskopie) @@ -419,13 +419,13 @@