Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature -- more operations;
  2. clarified signature;
  3. proper search with multiple "pages" of results;
Changeset 71332:277ee690cb14 by wenzelm:
clarified signature -- more operations;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71331:79232f138382 by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71330:836fde6f9d7e by wenzelm:
proper search with multiple "pages" of results;
The file was modified src/Pure/Tools/phabricator.scala (diff)