Skip to content
This repository has been archived by the owner on Sep 20, 2024. It is now read-only.

documentation: Split tools into separate entries #4342

Merged
merged 1 commit into from
Jan 19, 2023

Conversation

Minkiu
Copy link
Contributor

@Minkiu Minkiu commented Jan 18, 2023

Brief description

Split tools into separate entries

Description

Having the different tools displayed in the sidebar will allow the reader to form a overall picture of these faster as well as allowing to reference these easier.

Any reference (link) to the tools has been updated to reflect the changes above.

Additional info

N/A

Documentation (add "type: documentation" label)

Tools

How it will look:
image

Having the different tools displayed in the sidebar will allow the
reader to form a overall picture of these faster as well as allowing to
reference these easier.

Any reference (link) to the tools has been updated to reflect the
changes above.
@mkolar mkolar merged commit 7357a3c into develop Jan 19, 2023
@mkolar mkolar deleted the docs/split_core_tools_page branch January 19, 2023 08:23
@github-actions github-actions bot added this to the next-patch milestone Jan 19, 2023
@jakubjezek001 jakubjezek001 modified the milestones: next-patch, 3.15.0 Jan 25, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants