From 5ad1c50a13484450f71e4b248f08fd2c6a369d6d Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Wed, 13 Feb 2019 23:23:17 +0100
Subject: [PATCH] ignore generated files, one mroe

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

diff --git a/src/gns/.gitignore b/src/gns/.gitignore
index 2b9a18f21..c03f30380 100644
--- a/src/gns/.gitignore
+++ b/src/gns/.gitignore
@@ -4,3 +4,4 @@ gnunet-dns2gns
 gnunet-gns
 gnunet-gns-proxy
 gnunet-gns-benchmark
+test_gns_proxy
-- 
2.25.1