Mark flint++ as deprecated

The flint++ repository is archived as of August 2023, so mark the tool as deprecated.
analysis-tools-dev · Aug 16, 2024 · 8f97713 · 8f97713
1 parent 9ab5514
commit 8f97713
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