From 8cb4d9d87d2e06d69200996b0a81ca62137212bd Mon Sep 17 00:00:00 2001
From: Laurent Heirendt <laurent.heirendt@uni.lu>
Date: Tue, 17 Jan 2017 08:48:40 +0100
Subject: [PATCH] Minor changes to slides

---
 essential_commands.md | 2 +-
 installation.md       | 4 ++--
 overview.md           | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/essential_commands.md b/essential_commands.md
index 2b29de7d..944f03a7 100644
--- a/essential_commands.md
+++ b/essential_commands.md
@@ -7,7 +7,7 @@
 `pull, status, add, commit, push`
 
 <br>
-or in other words (remember these!)
+or in other words (remember these!):
 ```shell
 $ git pull
 $ git status
diff --git a/installation.md b/installation.md
index ec247845..ed949154 100644
--- a/installation.md
+++ b/installation.md
@@ -62,7 +62,7 @@ $ git config --list
 This should list the configuration with `user.name` and `user.email`.
 
 
-## I need `The COBRAToolbox` - How?
+## I need `The COBRAToolbox`?
 
 Simply `clone` the repository (i.e., retrieve a copy)
 ```sh
@@ -77,7 +77,7 @@ Any other rudimentary method such as
 shall **be avoided**!
 
 
-## How do I `clone` a repository?
+## How do I generally `clone` a repository?
 
 You can clone any other repository with:
 ```sh
diff --git a/overview.md b/overview.md
index f732a5b6..cfc6f802 100644
--- a/overview.md
+++ b/overview.md
@@ -8,6 +8,6 @@
     * `clone/pull` / `status` / `add` / `commit` / `push`
 5. Branches <!--(10 min)//-->
 6. Forks <!--(10 min)//-->
-7. Good practices
+7. Best practices
 8. Practical session  <!--(40 min)//-->
 9. Evaluation <!--(10 min)//-->
-- 
GitLab