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

Build #3 (Jun 11, 2020, 10:25:38 AM)

Changes
  1. Try to remove lstinline from section names (details / githubweb)

Push event to branch cleanup-font-mark-up at 10:25:33 AM on Jun 11, 2020

Revision: 36a2424515a1dc8f29bb5737cc2d1a3217c09a78
Repository: https://github.com/modelica/ModelicaSpecification.git
  • cleanup-font-mark-up