diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2020-01-13 22:50:52 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2020-01-13 22:50:52 +0100 |
| commit | f65cfeadb625e113b165f731ee15ee331da2e487 (patch) | |
| tree | 4bcdea402af476dac9a19a9c71dbd46d00c1f780 | |
| parent | 3994882417ae4c18f342a4edcd12d04bc792fe90 (diff) | |
| parent | c213fce87feed774ae8ce7aa5696cbd92b9da5be (diff) | |
Merge remote-tracking branch 'vcsh/master'
| -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/* |