diff options
| author | Benjamin C. Pierce <bcpierce@cis.upenn.edu> | 2006-06-05 00:33:24 +0000 |
|---|---|---|
| committer | Benjamin C. Pierce <bcpierce@cis.upenn.edu> | 2006-06-05 00:33:24 +0000 |
| commit | 1712246aba5a2740c6e92128a60a4ae8cd3151bf (patch) | |
| tree | 56924930ee503ba598f861407c4cb415e7f85ab0 /src/fileutil.ml | |
| parent | b5a1ea59ed5c7000d9a519733f3ecde9dafd6aec (diff) | |
| download | unison-1712246aba5a2740c6e92128a60a4ae8cd3151bf.zip unison-1712246aba5a2740c6e92128a60a4ae8cd3151bf.tar.gz unison-1712246aba5a2740c6e92128a60a4ae8cd3151bf.tar.bz2 | |
* Removed -mergebatch preference. (I never found it very useful, and
its semantics were confusing.)
Bumped minor version number.
* Refined debugging code so that the verbosity of individual modules
can be controlled separately. Instead of just putting '-debug
verbose' on the command line, you can put '-debug update+', which
causes all the extra messages in the Update module, but not other
modules, to be printed. Putting '-debug verbose' causes all modules
to print with maximum verbosity.
Diffstat (limited to 'src/fileutil.ml')
0 files changed, 0 insertions, 0 deletions