From ddae621a471059078192cef85203f6435196ca87 Mon Sep 17 00:00:00 2001
From: Joppe Koers <31915428+SirMorfield@users.noreply.github.com>
Date: Fri, 1 Dec 2023 23:48:49 +0100
Subject: [PATCH] Update campusIDs.json

closes #10
---
 env/campusIDs.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/env/campusIDs.json b/env/campusIDs.json
index 39b8b74..df84404 100644
--- a/env/campusIDs.json
+++ b/env/campusIDs.json
@@ -42,5 +42,6 @@
 	"Prague": 56,
 	"London": 57,
 	"Porto": 58,
-	"Singapore": 64
+	"Singapore": 64,
+	"Antananarivo": 65
 }