From 2d0aa1ee26feb37f70ed3b367267b2c41e803af8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Carlos=20L=C3=B3pez?= <00xc@protonmail.com> Date: Fri, 16 Aug 2024 15:59:53 +0200 Subject: [PATCH] Mark flint++ as deprecated (#1603) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The flint++ repository is archived as of August 2023, so mark the tool as deprecated. Co-authored-by: Carlos López --- data/tools/flint.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/data/tools/flint.yml b/data/tools/flint.yml index 7a6ba7095f..f909b6945e 100644 --- a/data/tools/flint.yml +++ b/data/tools/flint.yml @@ -4,6 +4,7 @@ categories: tags: - c - cpp +deprecated: true license: Boost Software License 1.0 types: - cli