Mark flint++ as deprecated (#1603)

The flint++ repository is archived as of August 2023, so mark the tool as deprecated. Co-authored-by: Carlos López <[email protected]>
analysis-tools-dev · Aug 16, 2024 · 2d0aa1e · 2d0aa1e
1 parent d67ad23
commit 2d0aa1e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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