On Mon, Jul 19, 2010 at 12:27 PM, Pierre Abbat <phma@phma.optus.nu> wrote: > > I'm looking at the copy in CVS. I just did "cvs update" and nothing changed. I lost touch with CVS years ago, when I changed computer. I only remember it had been an ordeal to set up, and I never bothered to do it again in my new computer since I hadn't been using it for a while even then. mu'o mi'e xorxes