[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-gnubg] Player Records ordering
|
From: |
Gary Wong |
|
Subject: |
Re: [Bug-gnubg] Player Records ordering |
|
Date: |
Fri, 27 Dec 2002 16:06:33 -0500 |
|
User-agent: |
Mutt/1.3.28i |
On Fri, Dec 27, 2002 at 06:13:54PM -0200, Albert Silver wrote:
> Would it be possible to not have it do this and order them without being
> case-sensitive?
Changed in CVS.
Cheers,
Gary.
--
Gary Wong address@hidden http://www.cs.arizona.edu/~gary/