Making histtimeformat regexp concise.
Making histtimeformat regexp concise.

dragon788/hstr,jlec/hstr,tbabej/hstr,dvorka/hstr,dvorka/hstr,dragon788/hstr,tbabej/hstr,dvorka/hstr,dvorka/hstr,jlec/hstr,dvorka/hstr