summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Lane <tgl@sss.pgh.pa.us>2015-08-02 23:57:32 -0400
committerTom Lane <tgl@sss.pgh.pa.us>2015-08-02 23:57:51 -0400
commitbd8f768926f7eed520ba30bc135018ec24e0dd91 (patch)
treef9be3e81970766866af305930d5769d64d1388f6
parent9d04a9824279cae8a6f2f1d5ced7a8ff75f2cae9 (diff)
contrib/isn now needs a .gitignore file.
Oversight in commit cb3384a0cb4cf900622b77865f60e31259923079. Back-patch to 9.1, like that commit.
-rw-r--r--contrib/isn/.gitignore4
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/isn/.gitignore b/contrib/isn/.gitignore
new file mode 100644
index 00000000000..5dcb3ff9723
--- /dev/null
+++ b/contrib/isn/.gitignore
@@ -0,0 +1,4 @@
+# Generated subdirectories
+/log/
+/results/
+/tmp_check/