worker_spi needs a .gitignore file now.

This commit is contained in:
Tom Lane 2019-06-02 11:13:23 -04:00
parent 10a53cae99
commit 135063e6f6
1 changed files with 4 additions and 0 deletions

View File

@ -0,0 +1,4 @@
# Generated subdirectories
/log/
/results/
/tmp_check/