From 5191c9fe679248957729c061f31ba6a6ce18bb82 Mon Sep 17 00:00:00 2001
From: "W. Trevor King" <wking@tremily.us>
Date: Wed, 19 Mar 2014 17:16:43 -0700
Subject: [PATCH] .bash_profile: Use tabs for indenting

Then folks can set tab-width to whatever they like.
---
 src/.bash_profile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/.bash_profile b/src/.bash_profile
index cc0a755..a60b37d 100644
--- a/src/.bash_profile
+++ b/src/.bash_profile
@@ -5,12 +5,12 @@ PATH="${PATH}":/usr/sbin:/sbin
 
 # set PATH so it includes user's local bin if it exists
 if [ -d "${HOME}"/.local/bin ]; then
-    PATH="${HOME}"/.local/bin:"${PATH}"
+	PATH="${HOME}"/.local/bin:"${PATH}"
 fi
 
 # set PATH so it includes user's personal bin if it exists
 if [ -d "${HOME}"/bin ]; then
-    PATH="${HOME}"/bin:"${PATH}"
+	PATH="${HOME}"/bin:"${PATH}"
 fi
 
 # The following line runs your .bashrc and is recommended by the bash
@@ -23,5 +23,5 @@ fi
 # http://bsdcalendar.sourceforge.net/  (Gentoo: app-misc/calendar)
 CALENDAR=$(command -v calendar)
 if [ -n "${CALENDAR}" ] && [ -f ~/.calendar/calendar ]; then
-    calendar
+	calendar
 fi
-- 
2.26.2