diff CONTRIBUTING.md @ 267:6030953258fe

On Windows, kill ongoing jobs before leaving so we can clean-up temp files
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 12 May 2022 09:20:21 -0700
parents 02a94ff0db57
children
line wrap: on
line diff