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

Some minor documentation adjustments #3942

Merged
merged 2 commits into from
Jul 15, 2021
Merged

Conversation

tobias-tengler
Copy link
Collaborator

@tobias-tengler tobias-tengler commented Jul 10, 2021

On Slack I noticed that some sections were lacking information, so I added them and also fixed a small website bug, where the left navigation would scroll with the page.

@tobias-tengler tobias-tengler force-pushed the tte/minor-doc-adjustments branch from 3e18f7a to cab402e Compare July 10, 2021 09:25
@tobias-tengler tobias-tengler self-assigned this Jul 10, 2021
@tobias-tengler tobias-tengler added the 📚 documentation This issue is about working on our documentation. label Jul 10, 2021
@tobias-tengler tobias-tengler force-pushed the tte/minor-doc-adjustments branch from cab402e to 16fccae Compare July 10, 2021 10:25
@sonarqubecloud
Copy link

Kudos, SonarCloud Quality Gate passed!

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

@tobias-tengler tobias-tengler added the 🎬 ready Ready to merge label Jul 10, 2021
@michaelstaib michaelstaib added 👓 ready-for-review The PR is ready for review. and removed 🎬 ready Ready to merge labels Jul 12, 2021
@michaelstaib michaelstaib merged commit c2a4721 into main Jul 15, 2021
@michaelstaib michaelstaib deleted the tte/minor-doc-adjustments branch July 15, 2021 13:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
📚 documentation This issue is about working on our documentation. 👓 ready-for-review The PR is ready for review.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants