| From: Robby Findler (robby at cs.uchicago.edu) Date: Tue Apr 27 18:12:22 EDT 2004 |
|
![[logo]](/logo.png){kind=logo}
At Tue, 27 Apr 2004 18:07:24 -0400, Felix Klock's PLT scheme proxy wrote:
> (I'd prefer to have both {#cis and -G / --case-insens) available,
#ci is already available, I believe and the other would probably be
part of the deal (assuming anything changes at all).
Robby
| Posted on the users mailing list. |
|