Skip to content

Remove workdir cleanup code#69

Open
kohlschuetter wants to merge 1 commit into
lgrignon:masterfrom
kohlschutter:ck/workdirCleanup
Open

Remove workdir cleanup code#69
kohlschuetter wants to merge 1 commit into
lgrignon:masterfrom
kohlschutter:ck/workdirCleanup

Conversation

@kohlschuetter
Copy link
Copy Markdown
Contributor

With the change in jsweet
"Use system-wide temporary working directories, clean up after use", this brittle code is no longer required.

With the change in jsweet
"Use system-wide temporary working directories, clean up after use",
this brittle code is no longer required.
Sign up for free to 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.

1 participant