Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to stable scala-2.11.8;
Changeset 64443:857acb970dfa by wenzelm:
back to stable scala-2.11.8;
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Concurrent/counter.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)