mirror of
https://github.com/notwa/rc
synced 2025-02-05 07:43:22 -08:00
add alias for cryptominisat
This commit is contained in:
parent
95ad57f9c3
commit
879a666a7a
1 changed files with 1 additions and 0 deletions
|
@ -94,6 +94,7 @@ alias gl='git log --oneline'
|
||||||
alias glo='git log --graph --decorate --pretty=oneline --abbrev-commit --all'
|
alias glo='git log --graph --decorate --pretty=oneline --abbrev-commit --all'
|
||||||
alias perlu='perl -Mopen=locale -Mutf8'
|
alias perlu='perl -Mopen=locale -Mutf8'
|
||||||
alias rgn="rg --no-ignore"
|
alias rgn="rg --no-ignore"
|
||||||
|
alias cms="cryptominisat5 --verb 0"
|
||||||
|
|
||||||
whoa=(
|
whoa=(
|
||||||
-Wall
|
-Wall
|
||||||
|
|
Loading…
Add table
Reference in a new issue