Skip to content
[Jenkins]Jenkins
log in
Started 3 yr 10 mo ago
Took 53 min

Build #17 (Jun 18, 2020, 2:00:40 AM)

Changes
  1. Remove ':' at end of section headings (details / githubweb)

Pull request #2567 updated at 2:00:32 AM on Jun 18, 2020

Revision: 2c10df2f5610ec2840e3b7cbe79e7e43800c4330
Repository: https://github.com/modelica/ModelicaSpecification.git
  • PR-2567