misc: whitespace

2018-05-04 16:25:05 +10:00 · 2018-05-04 16:25:05 +10:00 · 881094f1d6
parent 7d57ba0247
commit 881094f1d6
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -4270,7 +4270,7 @@ get_user_config() {
    # Check $config_file.
    if [[ -f "$config_file" ]]; then
        source "$config_file"
-        err "Config: Sourced user config.    (${config_file})"
+        err "Config: Sourced user config. (${config_file})"
        old_options
        return
    fi