Menu
▾
▴
Re: [ jEdit-users ] jEdit 4.1pre7 now available
|
From: Slava P. <sl...@je...> - 2002-12-26 20:40:31
|
On Thu, 2002-12-26 at 15:36, Chris Petersen wrote: > oops, php.... I cannot reproduce this problem. If you want to discuss it, I'm on #jedit right now. -- Slava Pestov <sl...@je...> |
