From 43ed6c217a6c4310c5efefea9886e48da9a15454 Mon Sep 17 00:00:00 2001
From: osanseviero <osanseviero@gmail.com>
Date: Thu, 10 Aug 2023 10:33:52 +0200
Subject: [PATCH] Dummy commit

---
 docs/source/installation.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/installation.md b/docs/source/installation.md
index 4105acf4..853b33a1 100644
--- a/docs/source/installation.md
+++ b/docs/source/installation.md
@@ -4,7 +4,7 @@ This section explains how to install the CLI tool as well as installing TGI from
 
 ## Install CLI
 
-TODO
+TODO:
 
 
 ## Local Installation from Source