From 412c05151ee33410945b0fba92648498bf474ddd Mon Sep 17 00:00:00 2001
From: Matthieu Bovel <matthieu.bovel@epfl.ch>
Date: Thu, 23 Sep 2021 10:41:47 +0200
Subject: [PATCH] Fix typo

---
 labs/tools-setup.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/labs/tools-setup.md b/labs/tools-setup.md
index 7060dc6..85e3103 100644
--- a/labs/tools-setup.md
+++ b/labs/tools-setup.md
@@ -170,7 +170,7 @@ Follow the instructions under "Enable OpenSSH Client in Windows 10" on
 
 ### Step 8.2: Generating the key pair
 
-Please follow [this tutorial](https://docs.github.com/en/authentication/connecting-to-github-with-ssh/generating-a-new-ssh-key-and-adding-it-to-the-ssh-agent) to generate a new SSH key and add it to the ssh-agent (except the last step: you should instead at the key to Gitlab, as described below). This [video](https://youtu.be/_RsP81Et12s?t=67) (from 1:07 to 4:05) might also help. 
+Please follow [this tutorial](https://docs.github.com/en/authentication/connecting-to-github-with-ssh/generating-a-new-ssh-key-and-adding-it-to-the-ssh-agent) to generate a new SSH key and add it to the ssh-agent (except the last step: you should instead add the key to Gitlab as described below). This [video](https://youtu.be/_RsP81Et12s?t=67) (from 1:07 to 4:05) might also help. 
 
 ### Step 8.3: Adding your public key on Gitlab
 
-- 
GitLab