From eb9c757ebc09160c49ba0fa37c05f157e7a86d22 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 19 Jul 2021 11:07:01 +0200
Subject: [PATCH] [dev] fix .gitignore for Cygwin

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 90610825c23..9cef935ca73 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,6 +24,7 @@ frama_c_journal.ml
 /frama-c-*.tar.gz
 /.merlin
 /headers/hdrck
+/headers/hdrck.exe
 
 #build
 
@@ -65,7 +66,9 @@ autom4te.cache
 /devel_tools/fc-memuse
 /bin/ocamldep_transitive_closure
 /bin/check_newlines
+/bin/check_newlines.exe
 /bin/isutf8
+/bin/isutf8.exe
 
 #share
 /share/Makefile.config
-- 
GitLab