Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 0 mo ago
Took 7 min 3 sec

Build #2 (Apr 15, 2020, 3:16:05 PM)

Changes
  1. Add a home directory to install latex fonts (details / githubweb)

Pull request #2546 updated at 3:15:56 PM on Apr 15, 2020

Revision: f03dd38793ec85e26234417b3486e08a2f07aaa7
Repository: https://github.com/modelica/ModelicaSpecification.git
  • PR-2546