Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned messages;
  2. tuned;
  3. clarified output channel;
  4. clarified option -f: avoid accidental target_clean for proper release snapshot;
Changeset 71375:5ccf60c1f47c by wenzelm:
tuned messages;
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
Changeset 71374:7832d912d950 by wenzelm:
tuned;
The file was modified src/Pure/build-jars (diff)
Changeset 71373:201486ced92d by wenzelm:
clarified output channel;
The file was modified lib/Tools/client (diff)
The file was modified lib/Tools/console (diff)
The file was modified lib/browser/build (diff)
Changeset 71372:85274743f789 by wenzelm:
clarified option -f: avoid accidental target_clean for proper release snapshot;
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)