On 03/21/2012 05:03 AM, Tom Tromey wrote: > Either works for me. If you are planning to do it, just go with > whichever one you like the best. OK, I'll do it when I am back from vacation. -- Yao (é½å°§)