diff doc/gutentags.txt @ 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 2d634600fd6e
children e60f685c560d
line wrap: on
line diff