On Mon, Nov 05, 2012 at 02:25:13PM +0100, Alexander Burger wrote: > Sorry, didn't look carefully then. But why should we change pil32? It > worked all right, didn't it?
Sorry again ;-) It didn't strip at all in pil32. I'll change it. Thanks! - Alex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe