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

Remove doc related to the GUI #2238

Open
wants to merge 6 commits into
base: develop
Choose a base branch
from
Open

Conversation

payetvin
Copy link
Contributor

@payetvin payetvin commented Jul 8, 2024

close #2166

@payetvin payetvin added GUI Graphical user interface cleaning doc labels Jul 8, 2024
@pull-request-size pull-request-size bot added size/M and removed size/XS labels Jul 8, 2024
Comment on lines -70 to +73
> 💡 **Disable the UI build to make builds faster**
> 💡 **Disable the UI build to make builds faster**
> The UI takes up a good chunk of compilation time. It is enabled by default, but you can disable it by turning off `BUILD_UI`

> 💡 **Use Ninja to speed up target generation by CMake**
> 💡 **Use Ninja to speed up target generation by CMake**
Copy link
Contributor

Choose a reason for hiding this comment

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

Copy link

sonarqubecloud bot commented Sep 6, 2024

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cleaning doc GUI Graphical user interface size/M
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Remove doc related to the GUI
2 participants