Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Lane2015-08-03 03:57:32 +0000
committerTom Lane2015-08-03 03:57:32 +0000
commitfd7ed26c1a2353923be067dd84059f3ce3a5aff4 (patch)
tree22c7cbf876ab4f6d7e4ef05bd8e361dc674f158e
parent09cecdf285ea9f51aed669f9ea1ba840197d49d0 (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/