summaryrefslogtreecommitdiff
path: root/.mrconfig
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2020-01-13 22:50:52 +0100
committerJonas Smedegaard <dr@jones.dk>2020-01-13 22:50:52 +0100
commitf65cfeadb625e113b165f731ee15ee331da2e487 (patch)
tree4bcdea402af476dac9a19a9c71dbd46d00c1f780 /.mrconfig
parent3994882417ae4c18f342a4edcd12d04bc792fe90 (diff)
parentc213fce87feed774ae8ce7aa5696cbd92b9da5be (diff)
Merge remote-tracking branch 'vcsh/master'
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/*