re-enable ignoring commands in history
Created by: nivkner
The ability to ignore commands was removed in 6308880f6a
without any explanation why and the Documentation still refers to this feature so this PR bring it back.
Created by: nivkner
The ability to ignore commands was removed in 6308880f6a
without any explanation why and the Documentation still refers to this feature so this PR bring it back.