From 431844f201b360518d832c8137c4ecdbf212f132 Mon Sep 17 00:00:00 2001 From: Raphael Date: Fri, 28 Mar 2025 18:39:22 +0100 Subject: [PATCH] style: adding the executable name to ignore (mod07ex00) --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 0f2cacc..f725058 100644 --- a/.gitignore +++ b/.gitignore @@ -26,3 +26,4 @@ intern serialize convert indentify +function