From d8d28a68f2a731d33e59adc9d2e2de14c3c89d0b Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 23 Jan 2017 14:06:52 +0100
Subject: [PATCH] add generated file to ignore list

---
 src/util/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/.gitignore b/src/util/.gitignore
index 87b379746..f207e07bf 100644
--- a/src/util/.gitignore
+++ b/src/util/.gitignore
@@ -62,3 +62,4 @@ test_speedup
 test_strings
 test_strings_to_data
 test_time
+test_socks.nc
-- 
2.25.1