Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more comments;
  2. tuned message -- more readable JSON;
Changeset 67874:599753dd6501 by wenzelm:
more comments;
The file was modified src/Pure/General/json.scala (diff)
Changeset 67873:e4e740ba74a4 by wenzelm:
tuned message -- more readable JSON;
The file was modified src/Pure/Tools/server.scala (diff)