diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2022-02-02 17:11:13 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2022-02-02 17:11:13 -0300 |
commit | 694a28b20f323fb50541eaf0f5e8a926fef538a7 (patch) | |
tree | 10edc0d6dd892aa6bd59d131138dbea577fee84c /unison.dot/default-code.prf.link | |
parent | 24618215387f1a305212c4429cce97d8a64fa4d3 (diff) | |
download | unison-master.tar.gz unison-master.tar.bz2 |
Diffstat (limited to 'unison.dot/default-code.prf.link')
-rw-r--r-- | unison.dot/default-code.prf.link | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/unison.dot/default-code.prf.link b/unison.dot/default-code.prf.link index 581eb43..2cbd716 100644 --- a/unison.dot/default-code.prf.link +++ b/unison.dot/default-code.prf.link @@ -7,8 +7,10 @@ logfile = .unison/unison.log # Automatically accept default (nonconflicting) actions auto = true -addversionno = true # Optimizations sshargs = -C copythreshold = 10000 + +# Include version number +#addversionno = true |