Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Show the library version information in the documentation view #7883

Merged
merged 2 commits into from
Sep 9, 2021

Conversation

adeas31
Copy link
Member

@adeas31 adeas31 commented Sep 9, 2021

No description provided.

@adeas31 adeas31 added enhancement COMP/GUI/OMEdit Issue and pull request related to OMEdit labels Sep 9, 2021
@adeas31 adeas31 self-assigned this Sep 9, 2021
@adeas31 adeas31 enabled auto-merge (squash) September 9, 2021 10:07
@adeas31 adeas31 merged commit 675fe85 into OpenModelica:master Sep 9, 2021
@adeas31 adeas31 deleted the version-info branch September 9, 2021 12:33
adeas31 added a commit to adeas31/OpenModelica that referenced this pull request Sep 16, 2021
…odelica#7883)

* Show the library version information in the documentation view

* Do not fetch the information twice.
adeas31 added a commit that referenced this pull request Sep 16, 2021
* Show the library version information in the documentation view

* Do not fetch the information twice.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
COMP/GUI/OMEdit Issue and pull request related to OMEdit enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant