op_download_file.ml \
op_file_information.mli \
op_file_information.ml \
+ op_file_properties.mli \
+ op_file_properties.ml \
op_inspection_dialog.mli \
op_inspection_dialog.ml \
op_view_file.mli \
op_download_dir_tarball.cmo \
op_download_file.cmo \
op_file_information.cmo \
+ op_file_properties.cmo \
op_inspection_dialog.cmo \
op_view_file.cmo \
menu_open_uri.cmo \