Skip to content

Conversation

@AnHeuermann
Copy link
Member

Related Issues

Needs #10561 merged first.

Purpose

  • Fixes for building User's Guide in devcontainer using build-deps:v1.16.4
  • Updating Readme of User's Guide on how to build it.

  - Fixes for building User's Guide in devcontainer using build-deps:v1.16.4
  - Updating Readme of User's Guide on how to build it.
@AnHeuermann AnHeuermann added the COMP/Documentation Issues related to online documentation label Apr 18, 2023
@AnHeuermann AnHeuermann self-assigned this Apr 18, 2023
@AnHeuermann AnHeuermann merged commit 44cb9fc into OpenModelica:master Apr 20, 2023
@AnHeuermann AnHeuermann deleted the docUsersGuide branch April 20, 2023 11:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

COMP/Documentation Issues related to online documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant