From: Robert S. <Robert@Schwenn-R.de> - 2009-07-07 21:09:32
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> </head> <body bgcolor="#ffffff" text="#000000"> <tt><br> The updated properties file (with translated gui-labels) can be downloaded at the <a href="http://community.jedit.org/?q=filestore/browse/81">Community Site.</a><br> <br> Last changes: <br> - Update for jedit core 4.3pre17 and some updated plugins.<br> - New support for plugins: MarkerSets<br> </tt> <br> <tt><br> Robert<br> </tt><br> </body> </html> |