Planned maintenance on Wednesday, 2021-01-20, 17:00-18:00. Expect some interruptions during that time

Commit 779d8c7a authored by Simon May's avatar Simon May

Whitespace change

parent 75f383a5
......@@ -18,7 +18,6 @@ esac
# Don’t put duplicate lines or lines starting with space in the history.
# See bash(1) for more options.
HISTCONTROL=ignoreboth
# append to the history file, don’t overwrite it
shopt -s histappend
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment