Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Adapt documentation to the new side menu. #6690
Adapt documentation to the new side menu. #6690
Changes from 10 commits
f5c822d
7b65e80
729f923
3104105
74691a5
500d832
06d5018
cc41028
6016615
d25cb66
d603e98
82aac13
e9405b2
e3b41d2
df0df9d
c1313e0
a4c79f8
b0c8055
e0bef68
0c6307a
8275965
3c35b07
af03bce
eeeb637
06d63dc
fd37cc5
cf0129c
42a3fb2
e6568a7
7f0c899
4e47a76
b8de23e
7c6c1e4
0e12414
1c3c5ff
2ebe0ac
54f4ac0
64b4c68
4ff10eb
10df4b2
98652fe
a696d15
aa8ce4b
4de79e7
e5d26ec
405f545
12606ff
acb829e
233c522
575ad24
5d0bd43
71198d0
574fc1d
ef02e7c
c02d75a
5b8e1c7
670e849
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nitpick: undone the change.