From 3c1e3493b06f0887f371614489c2d697982fc634 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Thu, 2 Jan 2014 15:46:07 +0100
Subject: [PATCH] Typo

---
 user-doc/Installation.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user-doc/Installation.txt b/user-doc/Installation.txt
index da5a75ccd..9432774e0 100644
--- a/user-doc/Installation.txt
+++ b/user-doc/Installation.txt
@@ -28,7 +28,7 @@ just set this variable to a blank ("SOEXT=").
 Also notice that a  new file sourceme.sh
 appears in the main PLUMED directory.
 This file should be "sourced" (presently only working for bash shell)
-if you want to use PLUMED *without installin it* (i.e. from the compilation
+if you want to use PLUMED *without installing it* (i.e. from the compilation
 directory. It is a good idea to source it now:
 \verbatim
 > source sourceme.sh
-- 
GitLab