diff options
Diffstat (limited to 'src/files.mli')
| -rw-r--r-- | src/files.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/files.mli b/src/files.mli index e3ba168..f43ee49 100644 --- a/src/files.mli +++ b/src/files.mli @@ -26,9 +26,11 @@ val copy : -> Common.root (* from what root *) -> Path.t (* from what path *) -> Common.updateItem (* source updates *) + -> Props.t list (* properties of parent directories *) -> Common.root (* to what root *) -> Path.t (* to what path *) -> Common.updateItem (* dest. updates *) + -> Props.t list (* properties of parent directories *) -> Uutil.File.t (* id for showing progress of transfer *) -> unit Lwt.t |