From 6681f955caf24fe78acb6d67d5f14a19ad53b8c4 Mon Sep 17 00:00:00 2001
From: Michael Wimmer <wimmer@lorentz.leidenuniv.nl>
Date: Mon, 9 Sep 2013 14:02:14 +0200
Subject: [PATCH] fix one more typo
---
INSTALL | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/INSTALL b/INSTALL
index 69b9d8a4..ff23e9d0 100644
--- a/INSTALL
+++ b/INSTALL
@@ -210,7 +210,7 @@ you are safe.
export PATH=/usr/local/bin:$PATH
at the end of your ``.bash_profile`` or ``.profile``. Then close
- the terminal Terminal and reopen it again.
+ the terminal and reopen it again.
4. Install a few prerequisites ::
--
GitLab