Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 6 mo ago
Took 44 sec

Build #22 (Oct 11, 2019, 1:35:35 PM)

Changes
  1. use generated .g.tex files in syntax.tex (details / githubweb)

Pull request #2378 updated at 1:31:39 PM on Oct 11, 2019