From c484acb88e6d5f19405cd21b56a09c065a83f6b3 Mon Sep 17 00:00:00 2001 From: bjoernf Date: Sat, 16 Sep 2023 11:48:13 +0200 Subject: [PATCH] checked out .gitignore from fix-location-field-bug --- .gitignore | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 9a61f13..62184cc 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,3 @@ -a.out -ics_analyzer +icscli .gitconfig *.o