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