src/Tools/jEdit/build.xml
Tue, 28 Oct 2008 20:15:28 +0100 immler absolute positioning according to preferred size of panels,
Mon, 20 Oct 2008 20:25:54 +0200 wenzelm added target -pre-jar which copies jEdit plugin to be included in jar;
Sun, 19 Oct 2008 18:27:30 +0200 wenzelm basic Netbeans project setup;
less more (0) tip