From b5760ecddb8fb9e27c7d87e9c0525130d8724ac3 Mon Sep 17 00:00:00 2001
From: Ruben Verborgh <ruben@verborgh.org>
Date: Sun, 4 Dec 2016 16:45:41 +0100
Subject: [PATCH] Ignore modifyHeader and searchHeader executables.

---
 hdt-lib/tools/.gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/hdt-lib/tools/.gitignore b/hdt-lib/tools/.gitignore
index aa0cae01..42dac8ed 100644
--- a/hdt-lib/tools/.gitignore
+++ b/hdt-lib/tools/.gitignore
@@ -3,3 +3,5 @@ hdtInfo
 hdtSearch
 rdf2hdt
 replaceHeader
+modifyHeader
+searchHeader