diff --git a/dev-util/splint/metadata.xml b/dev-util/splint/metadata.xml index 85e4ed814fa25..2a5e633ab0462 100644 --- a/dev-util/splint/metadata.xml +++ b/dev-util/splint/metadata.xml @@ -1,5 +1,8 @@ - + + + splintchecker/splint +