cosmetics: whitespace

2023-03-05 15:13:08 +01:00
parent a44879dfb9
commit 8dd5e34e4d
1 changed files with 1 additions and 1 deletions
--- a/home_external/.profile
+++ b/home_external/.profile
@ -12,7 +12,7 @@
 if [ -n "$BASH_VERSION" ]; then
    # include .bashrc if it exists
    if [ -f "$HOME/.bashrc" ]; then
-	. "$HOME/.bashrc"
+    . "$HOME/.bashrc"
    fi
 fi