Add .gitignore file forgotten in commit bde7493d1.

This commit is contained in:
Tom Lane 2019-08-28 12:59:47 -04:00
parent bde7493d10
commit 744c848dce

View File

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