From ea966671d33f5d578ea47299158c17e3e1654a73 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 29 Jul 2022 13:46:21 +0200
Subject: [PATCH] [headers] CEA_PROPRIETARY is not an OS header

---
 headers/open-source/CEA_PROPRIETARY | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 headers/open-source/CEA_PROPRIETARY

diff --git a/headers/open-source/CEA_PROPRIETARY b/headers/open-source/CEA_PROPRIETARY
deleted file mode 100644
index 91dd4644e1f..00000000000
--- a/headers/open-source/CEA_PROPRIETARY
+++ /dev/null
@@ -1,10 +0,0 @@
-
-This file is part of Frama-C.
-
-Copyright (C) 2007-2022
-  CEA (Commissariat à l'énergie atomique et aux énergies
-       alternatives)
-
-All rights reserved.
-Contact CEA LIST for licensing.
-
-- 
GitLab