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.

Sign up for GitHub

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

Jump to bottom

[uninstall] Fix --config when there is no multi-config generator. #618

Merged

gergondet merged 2 commits into jrl-umi3218:master from olivier-stasse:master

Sep 4, 2023

Member

olivier-stasse commented Sep 4, 2023

Fix issue #617


          [uninstall] Fix --config when there is no multi-config generator.

3c4db5d

olivier-stasse force-pushed the master branch from 15e95bd to 3c4db5d Compare

September 4, 2023 15:22


          [pre-commit.ci] auto fixes from pre-commit.com hooks

24f5ead

for more information, see https://pre-commit.ci

gergondet merged commit 46af1c1 into jrl-umi3218:master

1 check passed

Member Author

olivier-stasse commented Sep 4, 2023

Thx !

gergondet mentioned this pull request

Issue on cmake_install.cmake with uninstall.cmake #617

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet