gnugo-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [gnugo-devel] administrative things


From: Arend Bayer
Subject: Re: [gnugo-devel] administrative things
Date: Sun, 1 Dec 2002 11:29:56 +0100 (CET)

Paul wrote:

> > pogonyshev_3_13.1a...
> > ...
> > paul_3_13.1a...
> > ...
> > pogonyshev_3_12.1a...
> > ...
> > paul_3_13.2...
>
> i'm getting confused :o. could you please stick to either `paul' (preferably)
> or `pogonyshev'? they are both me, after all ;)

While merging pogonyshev_3_13.1a I renamed it to paul_3_13.3a so that at
least the _13. patches are consistently named...

It caused a measurable speedup here, btw.

Arend






reply via email to

[Prev in Thread] Current Thread [Next in Thread]