]> git.donarmstrong.com Git - home-base.git/blob - .mrconfig
remove old aliases and devtodo from bashrc
[home-base.git] / .mrconfig
1 [DEFAULT]
2 git_gc = git gc "$@"
3 jobs = 5
4
5 include = cat ~/.config/mr/config.d/*
6 include = test -d ~/.config/mr_private/config.d && cat ~/.config/mr_private/config.d/* || exit 0