diff options
Diffstat (limited to 'unison.dot/default-home.prf.link')
-rw-r--r-- | unison.dot/default-home.prf.link | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/unison.dot/default-home.prf.link b/unison.dot/default-home.prf.link index 7be1507..82f07ad 100644 --- a/unison.dot/default-home.prf.link +++ b/unison.dot/default-home.prf.link @@ -47,7 +47,6 @@ logfile = .unison/unison.log # Automatically accept default (nonconflicting) actions auto = true -addversionno = true # We set ProxyCommand to none to make sure monkeysphere won't # update ~/.ssh/known_hosts and thus preventing syncing of this file. @@ -55,3 +54,6 @@ addversionno = true # Optimizations copythreshold = 10000 + +# Include version number +#addversionno = true |