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