diff options
Diffstat (limited to 'repo/config')
-rw-r--r-- | repo/config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/repo/config b/repo/config index 93d3bd6d..e10d46e9 100644 --- a/repo/config +++ b/repo/config @@ -17,3 +17,4 @@ allowdeletetag = false allowmodifytag = false showrev = "git show -C %s; echo" + diff.mnemonicprefix = true |