diff options
| author | Jérôme Vouillon <vouillon@pps.jussieu.fr> | 2009-07-08 16:29:44 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <vouillon@pps.jussieu.fr> | 2009-07-08 16:29:44 +0000 |
| commit | cd2c0928e21058fd032ae6d8170dc9565ada3dd1 (patch) | |
| tree | 6948ca0f6f9d5adf1de5d567632c369337ca0c72 /src/files.ml | |
| parent | 34ad46e46c7e854824e37bc8611cb8ae0660ad38 (diff) | |
| download | unison-cd2c0928e21058fd032ae6d8170dc9565ada3dd1.zip unison-cd2c0928e21058fd032ae6d8170dc9565ada3dd1.tar.gz unison-cd2c0928e21058fd032ae6d8170dc9565ada3dd1.tar.bz2 | |
* Allow partial transfer of a directory when there was an error deep
inside this directory during update detection. At the moment, this
is only activated with the text and GTK UIs, which have been
modified so that they show that the transfer is going to be partial
and so that they can display all errors.
* Changed types Common.replicaContent and Common.replicas to use
records rather than tuples, as this is more readable and easier to
extend.
Diffstat (limited to 'src/files.ml')
0 files changed, 0 insertions, 0 deletions