From 65cb6151cd596ef609c10f93b503b4baa1a15328 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Thu, 21 Apr 2016 22:25:23 +0200
Subject: [PATCH] update list of ignored files

---
 hermit/.gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/hermit/.gitignore b/hermit/.gitignore
index 6de7dfc4d..521bfe5a8 100644
--- a/hermit/.gitignore
+++ b/hermit/.gitignore
@@ -11,7 +11,6 @@ autom4te.cache
 documentation/html/
 include/hermit/config.inc
 tools/proxy
-tools/init.h
 usr/tests/hello
 usr/tests/hello++
 usr/tests/hellof