Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. NEWS;
  2. updated to jedit-5.5.0; discontinued jedit_build/contrib/jEdit-patched.tar.gz -- its content is in directory jedit_build/contrib/jedit-5.5.0-patched/jEdit;
Changeset 67993:271e2d84e7a3 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 67992:752a4e6d760c by wenzelm:
updated to jedit-5.5.0;<br>discontinued jedit_build/contrib/jEdit-patched.tar.gz -- its content is in directory jedit_build/contrib/jedit-5.5.0-patched/jEdit;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/patches/docking (diff)
The file was modified src/Tools/jEdit/patches/extended_styles (diff)
The file was modified src/Tools/jEdit/patches/folding (diff)
The file was modified src/Tools/jEdit/patches/props (diff)