Add file properties dialog.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 29 Jul 2011 18:53:57 +0000 (19:53 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 29 Jul 2011 21:01:05 +0000 (22:01 +0100)
commit38e0e295c438adea7a8acabd21c2fd02c236cc04
tree1a8452f14d411058c3cc02318c102d0ca0f92a19
parente74131b3a055fe3f3333030d8459275436f37a40
Add file properties dialog.
12 files changed:
.depend
Makefile.am
filetree.ml
filetree.mli
filetree_markup.ml
main.ml
op_file_properties.ml [new file with mode: 0644]
op_file_properties.mli [new file with mode: 0644]
slave.ml
slave.mli
utils.ml
utils.mli