Skip to content

create script which clones all QED project and setup the dev environment of each project#143

Merged
AntonReinhard merged 1 commit into
QEDjl-project:devfrom
SimeonEhrig:createDevEnvScript
Oct 13, 2025
Merged

create script which clones all QED project and setup the dev environment of each project#143
AntonReinhard merged 1 commit into
QEDjl-project:devfrom
SimeonEhrig:createDevEnvScript

Conversation

@SimeonEhrig

@SimeonEhrig SimeonEhrig commented Sep 30, 2025

Copy link
Copy Markdown
Member

fix: #141

szabo137
szabo137 previously approved these changes Oct 6, 2025

@szabo137 szabo137 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a bit of formatting. This looks very good to me, many thanks for that, it helps a lot!

Comment thread docs/src/dev_guide.md
@SimeonEhrig

Copy link
Copy Markdown
Member Author

@AntonReinhard Uwe already approved. It's more or less formal approve.

@AntonReinhard

Copy link
Copy Markdown
Member

@AntonReinhard AntonReinhard merged commit d84583a into QEDjl-project:dev Oct 13, 2025
3 checks passed
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.

Document how to setup develop version of QED package

3 participants