Skip to content

remove build subdirectory - #18

Merged
pdimov merged 1 commit into
boostorg:developfrom
grisumbras:remove-build-dir
Jan 19, 2026
Merged

remove build subdirectory#18
pdimov merged 1 commit into
boostorg:developfrom
grisumbras:remove-build-dir

Conversation

@grisumbras

Copy link
Copy Markdown
Member

Fix#17

@pdimov
pdimov merged commit 93cefb7 into boostorg:developJan 19, 2026
47 of 48 checks passed
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

build directory appears to be useless

2 participants

@grisumbras@pdimov