Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. simplified ROOT: imports from other sessions are already excluded from document;
  2. more accurate timeout;
Changeset 8596:48ef2bb13498 by wenzelm:
simplified ROOT: imports from other sessions are already excluded from document;
The file was modified thys/Dirichlet_Series/ROOT (diff)
Changeset 8595:38e83fc0d2a2 by wenzelm:
more accurate timeout;
The file was modified thys/Dirichlet_Series/ROOT (diff)