From 3114df93d71e74396a4f746225b7949e651b1de9 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sat, 12 Sep 2015 17:29:17 +0200 Subject: [PATCH] add hellof to the list of ignored files --- hermit/.gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/hermit/.gitignore b/hermit/.gitignore index 41e72a363..ab7a77471 100644 --- a/hermit/.gitignore +++ b/hermit/.gitignore @@ -13,6 +13,7 @@ documentation/html/ include/hermit/config.inc usr/examples/hello usr/examples/hello++ +usr/examples/hellof usr/examples/jacobi usr/examples/stream usr/examples/thr_hello