annotate .gitignore @ 263:d4b73a042976

check for temp tags before moving to avoid error
author Brent Carmer <bcarmer@galois.com>
date Wed, 18 Mar 2020 12:56:08 -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