From 90ace1f9e2546450a0a9ce37003c7f4f371690e0 Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Mon, 25 May 2020 12:28:05 +0200 Subject: [PATCH] Review: updated description in ada.properties.json --- ci/properties/ada.properties.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/properties/ada.properties.json b/ci/properties/ada.properties.json index f41c3b1..71021d0 100644 --- a/ci/properties/ada.properties.json +++ b/ci/properties/ada.properties.json @@ -1,6 +1,6 @@ { "name": "Ada", - "description": "Build and test an Ada project with GPRbuild.", + "description": "Build Ada project with GPRbuild.", "iconName": "ada", "categories": ["Ada"] }