PR #3175 flake : allow $out/include to already exist - SemanticDiff

flake : allow $out/include to already exist #3175

ggerganov merged 1 commit into ggml-org:master from jneem:mkdir-p

jneem

jneem

flake : allow $out/include to already exist

0ff4ebaa

ggerganov

ggerganov merged feea179e into master 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone