diff options
| author | Richard Hartmann <richih@debian.org> | 2014-08-03 15:33:20 +0200 |
|---|---|---|
| committer | Richard Hartmann <richih@debian.org> | 2014-08-03 15:33:20 +0200 |
| commit | c213fce87feed774ae8ce7aa5696cbd92b9da5be (patch) | |
| tree | 23ee8eb0077f93952d6757b296daba292ff3012a /.mrconfig | |
| parent | c5d30352e598c3585070a41df48d547d4ec87326 (diff) | |
.mrconfig: Remove manual sourcing of vcsh files
Diffstat (limited to '.mrconfig')
| -rw-r--r-- | .mrconfig | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1,6 +1,5 @@ [DEFAULT] git_gc = git gc "$@" jobs = 5 -include = cat /usr/share/mr/vcsh include = cat ~/.config/mr/config.d/* |