Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. support for XZ.Cache;
Changeset 68019:32d19862781b by wenzelm:
merged
Changeset 68018:3747fe57eb67 by wenzelm:
support for XZ.Cache;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/General/properties.scala (diff)
The file was modified src/Pure/General/xz.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)