| From: Matthias Felleisen (matthias at ccs.neu.edu) Date: Mon Dec 23 17:42:01 EST 2013 |
|
On Dec 23, 2013, at 5:12 PM, Manfred Lotz <manfred.lotz at arcor.de> wrote: > I think in-directory should be fixed in the long run. Agreed. -- Matthias
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}