[Jenkins]Jenkins
log in
Started 9 yr 5 mo ago
Took 2 ms on build1

Build #42 (Nov 17, 2014, 2:21:55 PM)

Changes
  1. updated tei stylesheets (details)
  2. Adjust target file name if we use a transformation (details)
Test Result (no failures)

    Identified problems

    No identified problem

    No problems were identified. If you know why this problem occurred, please add a suitable Cause for it.