From 8efa095a1175d3893ce84acb5fabf0a2c92b719f Mon Sep 17 00:00:00 2001 From: Darren Ldl Date: Fri, 5 Feb 2021 15:28:45 +1100 Subject: [PATCH] Updated .gitignore to ignore fuzz-logs/ --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index e8a5296c..58ec6bb0 100644 --- a/.gitignore +++ b/.gitignore @@ -14,3 +14,4 @@ _opam *.exe fuzz-*-input fuzz-*-output +fuzz-logs/