Use project-local .curry as output directory if workspace contains multiple projects - #56
Draft
fwcd wants to merge 1 commit into
Draft
Use project-local .curry as output directory if workspace contains multiple projects#56fwcd wants to merge 1 commit into
.curry as output directory if workspace contains multiple projects#56fwcd wants to merge 1 commit into
Commits
Commits on Jun 15, 2023
- committed