File synchronization tool that allows two replicas of a collection of files. Directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to