From 19289acd1a9c44e54ca7a3a14529c14fb7a2a571 Mon Sep 17 00:00:00 2001
From: Allan Odgaard <git@abetarda.com>
Date: Thu, 25 Aug 2016 09:52:55 +0200
Subject: [PATCH] Remove trailing whitespace

#ignore
---
 Support/shared/lib/bash_init.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Support/shared/lib/bash_init.sh b/Support/shared/lib/bash_init.sh
index 96b440b..5d3951d 100644
--- a/Support/shared/lib/bash_init.sh
+++ b/Support/shared/lib/bash_init.sh
@@ -43,7 +43,7 @@ exit_create_new_document ()	{ echo -n "$1";     exit 207; }
 # force TM to refresh current file and project drawer
 rescan_project () { true; }
 
-# use this as a filter (|pre) when you want 
+# use this as a filter (|pre) when you want
 # raw output to show as such in the HTML output
 pre () {
 	echo -n '<pre style="word-wrap: break-word;">'