diff options
author | Tom Lane | 2015-08-03 03:57:32 +0000 |
---|---|---|
committer | Tom Lane | 2015-08-03 03:57:32 +0000 |
commit | fd7ed26c1a2353923be067dd84059f3ce3a5aff4 (patch) | |
tree | 22c7cbf876ab4f6d7e4ef05bd8e361dc674f158e | |
parent | 09cecdf285ea9f51aed669f9ea1ba840197d49d0 (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/.gitignore | 4 |
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/ |