summaryrefslogtreecommitdiff
path: root/.mrconfig
diff options
context:
space:
mode:
authorRichard Hartmann <richih@debian.org>2014-08-03 15:33:20 +0200
committerRichard Hartmann <richih@debian.org>2014-08-03 15:33:20 +0200
commitc213fce87feed774ae8ce7aa5696cbd92b9da5be (patch)
tree23ee8eb0077f93952d6757b296daba292ff3012a /.mrconfig
parentc5d30352e598c3585070a41df48d547d4ec87326 (diff)
.mrconfig: Remove manual sourcing of vcsh files
Diffstat (limited to '.mrconfig')
-rw-r--r--.mrconfig1
1 files changed, 0 insertions, 1 deletions
diff --git a/.mrconfig b/.mrconfig
index a719711..ea52839 100644
--- a/.mrconfig
+++ b/.mrconfig
@@ -1,6 +1,5 @@
[DEFAULT]
git_gc = git gc "$@"
jobs = 5
-include = cat /usr/share/mr/vcsh
include = cat ~/.config/mr/config.d/*