| Sun, 04 Mar 2012 23:04:40 +0100 | wenzelm | updates for jedit-4.5.0 (still inactive); | changeset | files |
| Sun, 04 Mar 2012 21:46:22 +0100 | wenzelm | more explicit patches; | changeset | files |
| Sun, 04 Mar 2012 19:24:05 +0100 | wenzelm | tuned comment; | changeset | files |