Skip to content
[Jenkins]Jenkins
log in
Started 4 mo 29 days ago
Took 5 min 15 sec

Build #6 (Dec 15, 2023, 10:10:24 AM)

Changes
  1. Documentation: proper font for Modelica keyword in code snippet (details / githubweb)

Pull request #4231 updated at 10:10:09 AM on Dec 15, 2023

Revision: b392a016c9a859be39a4213b655948db20e42beb
Repository: https://github.com/modelica/ModelicaStandardLibrary.git
  • PR-4231