filetree.ml \
filetree_markup.mli \
filetree_markup.ml \
- filetree_ops.mli \
- filetree_ops.ml \
- filetree_type.mli \
- filetree_type.ml \
main.ml \
+ op_checksum_file.mli \
+ op_checksum_file.ml \
+ op_copy_regvalue.mli \
+ op_copy_regvalue.ml \
+ op_disk_usage.mli \
+ op_disk_usage.ml \
+ op_download_as_reg.mli \
+ op_download_as_reg.ml \
+ op_download_dir_find0.mli \
+ op_download_dir_find0.ml \
+ op_download_dir_tarball.mli \
+ op_download_dir_tarball.ml \
+ op_download_file.mli \
+ op_download_file.ml \
+ op_file_information.mli \
+ op_file_information.ml \
+ op_inspection_dialog.mli \
+ op_inspection_dialog.ml \
+ op_view_file.mli \
+ op_view_file.ml \
slave.mli \
slave.ml \
slave_types.mli \
slave_types.cmo \
slave_utils.cmo \
slave.cmo \
- filetree_type.cmo \
filetree_markup.cmo \
- filetree_ops.cmo \
filetree.cmo \
+ op_checksum_file.cmo \
+ op_copy_regvalue.cmo \
+ op_disk_usage.cmo \
+ op_download_as_reg.cmo \
+ op_download_dir_find0.cmo \
+ op_download_dir_tarball.cmo \
+ op_download_file.cmo \
+ op_file_information.cmo \
+ op_inspection_dialog.cmo \
+ op_view_file.cmo \
window.cmo \
main.cmo