From e750ce727c35f25ce4ae82d0c78ea82553d31c94 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 18 Dec 2023 08:59:20 +0100
Subject: [PATCH] fix typo in 'closed source'
---
.gitattributes | 2 +-
.../CEA_LGPL_OR_PROPRIETARY.Frama_Clang | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename headers/{close-source => closed-source}/CEA_LGPL_OR_PROPRIETARY.Frama_Clang (100%)
diff --git a/.gitattributes b/.gitattributes
index 3cde9720..e59a91f3 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -76,7 +76,7 @@ CHANGELOG.md header_spec=.ignore
# Headers
/headers/open-source/* header_spec=.ignore
-/headers/close-source/* header_spec=.ignore
+/headers/closed-source/* header_spec=.ignore
/headers/headache_config.txt header_spec=.ignore
# OCaml
diff --git a/headers/close-source/CEA_LGPL_OR_PROPRIETARY.Frama_Clang b/headers/closed-source/CEA_LGPL_OR_PROPRIETARY.Frama_Clang
similarity index 100%
rename from headers/close-source/CEA_LGPL_OR_PROPRIETARY.Frama_Clang
rename to headers/closed-source/CEA_LGPL_OR_PROPRIETARY.Frama_Clang
--
GitLab