From 08a41e980c3e633a34695e7cdde6dff567f3b352 Mon Sep 17 00:00:00 2001
From: Stefan Girke <stefan.girke@wwu.de>
Date: Mon, 9 Nov 2015 12:06:56 +0100
Subject: [PATCH] ignore some directories produced by headercheck call

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index c55a2689..feb6def5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -36,3 +36,6 @@ Makefile.in
 *.tmp
 
 build-cmake
+headercheck
+language_tests
+CMakeFiles
-- 
GitLab