annotate .gitignore @ 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 06c496e010b4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
200
06c496e010b4 Ignore tags files
Steven Stallion <sstallion@gmail.com>
parents:
diff changeset
1 doc/tags