This is something that I've also wanted for a while -- not only to keep down the number of messages, but also to make sure that changes in certain directories
Hi everyone, I am using Unison on my home directory, which contains several subprojects each having its own git repository. When I synchronize, the most
I run unison from a local directory to synchronize a remote directory (empty). But it seems that the time stamps of the files in the local directory is not