[ jEdit-devel ] [ jedit-Patches-2096754 ] Embeddable text area - build.xml patch

[SourceForge.net <no...@so...>]

Patches item #2096754, was opened at 2008-09-06 12:03
Message generated for change (Settings changed) made by kpouer
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=2096754&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
>Status: Closed
>Resolution: Accepted
Priority: 5
Private: No
Submitted By: Dakshinamurthy Karra (kdmurthy)
Assigned to: Nobody/Anonymous (nobody)
Summary: Embeddable text area - build.xml patch

Initial Comment:
See earlier tracker item.



----------------------------------------------------------------------

Comment By: Matthieu Casanova (kpouer)
Date: 2008-09-11 23:46

Message:
Hi, your patch was strange, I was not able to apply it but I copied the
changes in the build so I think it is ok

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=2096754&group_id=588