[ jEdit-devel ] [jedit:plugin-patches] #106 Updated JavaDoc Documentation

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:plugin-patches] #106 Updated JavaDoc Documentation

Alan Ezust-2

It appears as if you already committed and then rolled back these changes.


[plugin-patches:#106] Updated JavaDoc Documentation

Status: open
Created: Mon Jan 16, 2012 12:23 AM UTC by Max Funk
Last Updated: Tue Sep 13, 2016 04:08 PM UTC
Owner: Alan Ezust

Small documentation update and more detailed installation info for new users.


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


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

--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...