From fd7ed26c1a2353923be067dd84059f3ce3a5aff4 Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Sun, 2 Aug 2015 23:57:32 -0400
Subject: [PATCH] contrib/isn now needs a .gitignore file.

Oversight in commit cb3384a0cb4cf900622b77865f60e31259923079.
Back-patch to 9.1, like that commit.
---
 contrib/isn/.gitignore | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 contrib/isn/.gitignore

diff --git a/contrib/isn/.gitignore b/contrib/isn/.gitignore
new file mode 100644
index 0000000000..5dcb3ff972
--- /dev/null
+++ b/contrib/isn/.gitignore
@@ -0,0 +1,4 @@
+# Generated subdirectories
+/log/
+/results/
+/tmp_check/
-- 
2.40.0