![[Jenkins]](/ci/static/d70d5ff4/images/svgs/logo.svg){kind=logo}
Summary
- print page header (commit: c06712c) (details)
| The file was modified | src/main/web (diff) |
| The file was modified | svg_rendering/page/debug.html (diff) |
| The file was modified | svg_rendering/page/debug2.html (diff) |
| The file was modified | render-multi-pages.js (diff) |
| The file was modified | svg_rendering/page/transcript-generation.html (diff) |
| The file was modified | svg_rendering/page/js-gen/transcript-generation.js (diff) |