On Tue, 2003-01-07 at 13:49, Osamu Aoki wrote: > I think it may be best if this encoding changes are done at the same > time when this documentation is moved to docbook-xml format.
That's perfectly fine by me.
On Tue, 2003-01-07 at 13:49, Osamu Aoki wrote: > I think it may be best if this encoding changes are done at the same > time when this documentation is moved to docbook-xml format.
That's perfectly fine by me.