Wed, 04 Feb 2009 01:38:48 +0100 | immler | removed redundant code | changeset | files |
Fri, 20 Mar 2009 21:31:57 +0100 | wenzelm | added ML syntax markup; | changeset | files |
Fri, 20 Mar 2009 21:31:45 +0100 | wenzelm | recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013); | changeset | files |