unison

Fork of Unison, a bi-directional file synchronization tool
git clone git://git.laack.co/unison.git
Log | Files | Refs | README | LICENSE

system.mli (182B)

      1 (* Unison file synchronizer: src/system.mli *)
      2 (* Copyright 1999-2020, Benjamin C. Pierce (see COPYING for details) *)
      3 
      4 (* Operations on filesystem path *)
      5 
      6 include System_intf.Full