Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support for JSON:API;
  2. support for Flarum server;
  3. tuned whitespace;
  4. tuned imports;
  5. tuned comments;
  6. clarified author names;
  7. clarified author names;
Changeset 74946:0dd14d8b16da by wenzelm:
support for JSON:API;
The file was addedsrc/Pure/General/json_api.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/Tools/flarum.scala (diff)
Changeset 74945:4dc90b43ba94 by wenzelm:
support for Flarum server;
The file was addedsrc/Pure/Tools/flarum.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/General/http.scala (diff)
Changeset 74944:9b14491ca5c6 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 74943:afd8cb7b2be1 by wenzelm:
tuned imports;
The file was modified src/Pure/General/date.scala (diff)
Changeset 74942:9ddf227fc8a4 by wenzelm:
tuned comments;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74941:a63c34c28430 by wenzelm:
clarified author names;
The file was modified src/Pure/General/mailman.scala (diff)
Changeset 74940:fe1d22487427 by wenzelm:
clarified author names;
The file was modified src/Pure/General/mailman.scala (diff)