Skip to content

refs #526#581

Open
ruimo wants to merge 1 commit intoDreamSourceLab:masterfrom
ruimo:master
Open

refs #526#581
ruimo wants to merge 1 commit intoDreamSourceLab:masterfrom
ruimo:master

Conversation

@ruimo
Copy link

@ruimo ruimo commented Dec 24, 2022

Reflected tedy58's comment into the INSTALL manual.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant