> I checked it in for him with a small change in document.   It
> should be `|' instead of '@|'.

Thanks a lot!

--
Maxim Kuznetsov

Reply via email to