From 9db205158ac009b8816a6aadbf28d66bd8405f15 Mon Sep 17 00:00:00 2001
From: Shubham Tiwari <tiwarishub@github.com>
Date: Wed, 25 Aug 2021 23:24:07 +0530
Subject: [PATCH] Category change

---
 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 7dc738b..c4c2b3a 100644
--- a/ci/properties/ada.properties.json
+++ b/ci/properties/ada.properties.json
@@ -2,5 +2,5 @@
     "name": "Ada",
     "description": "Build Ada project with GPRbuild.",
     "iconName": "ada",
-    "categories": ["Continuous integration","Ada"]
+    "categories": ["Continuous integration", "Ada"]
 }