| From: Joe Marshall (jmarshall at alum.mit.edu) Date: Tue Jun 12 19:47:59 EDT 2007 |
|
On 6/11/07, Eli Barzilay <eli at barzilay.org> wrote: > > The "'#:" prefix is very heavy -- One truly ugly character too many. It's not too late to change this.... -- ~jrm
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}