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

doc changes/updates #92

Merged
merged 5 commits into from
Feb 7, 2024
Merged

doc changes/updates #92

merged 5 commits into from
Feb 7, 2024

Conversation

lx-wnk
Copy link
Contributor

@lx-wnk lx-wnk commented Feb 6, 2024

1. Why is this change necessary?

To ensure better readability

2. What does this change do, exactly?

Move port options to own file

3. Describe each step to reproduce the issue or behaviour.

//

4. Please link to the relevant issues (if any).

Resolves also #91

5. Checklist

  • I have rebased my changes to remove merge conflicts
  • I have written or adjusted the documentation according to my changes

@lx-wnk lx-wnk requested a review from tinect February 6, 2024 11:51
@lx-wnk lx-wnk self-assigned this Feb 6, 2024
@lx-wnk lx-wnk merged commit ec633e3 into main Feb 7, 2024
3 checks passed
@lx-wnk lx-wnk deleted the noticket/docChanges branch February 7, 2024 12:51
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.

2 participants