diff options
author | Julien ROZO | 2009-11-21 12:41:29 +0100 |
---|---|---|
committer | Julien ROZO | 2009-11-21 12:41:29 +0100 |
commit | 7aa9c3d6c6f8742556c7a756f21998bbeb6e9a79 (patch) | |
tree | 6a2acea4c30ae0e9e137bbeb05789801e3b5667d /news | |
parent | 61394b836921b9270e970f214d43aa2f79909b53 (diff) |
jedit: updated version to 4.3pre18
renamed build.properties_4.3pre17.patch to build.properties_4.3pre18.patch
Diffstat (limited to 'news')
0 files changed, 0 insertions, 0 deletions