From c3c5415540830b775772d81e17d5b028592a478e Mon Sep 17 00:00:00 2001 From: Padraig Gleeson Date: Wed, 22 May 2019 14:55:42 +0100 Subject: [PATCH] Ignoring --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 7228b76..bd3749a 100644 --- a/.gitignore +++ b/.gitignore @@ -64,3 +64,4 @@ examples/*.pov /examples/x86_64 /LEMSexamples/report.txt /LEMSexamples/test/x86_64 +/LEMSexamples/report.ex*.txt