Redirect temporary root-level scratch files to .villani_code scratch storage#316

mmprotest wants to merge 1 commit into

mainmmprotest/villani-code:mainfrom

mmprotest/implement-scratch-file-redirectionmmprotest/villani-code:mmprotest/implement-scratch-file-redirectionCopy head branch name to clipboard