diff options
author | Richard W.M. Jones <rjones@redhat.com> | 2008-01-08 14:43:14 +0000 |
---|---|---|
committer | Richard W.M. Jones <rjones@redhat.com> | 2008-01-08 14:43:14 +0000 |
commit | c296b68c99f8c22b0c7db1b072a6cd86f9ac3da9 (patch) | |
tree | c52962a7b8a22853b79298ba3a8821f9981bd437 /config.h.in | |
parent | 474e8b8e2e98b61d5d01a58f843b9338754ecf2f (diff) | |
download | virt-top-c296b68c99f8c22b0c7db1b072a6cd86f9ac3da9.tar.gz virt-top-c296b68c99f8c22b0c7db1b072a6cd86f9ac3da9.tar.xz virt-top-c296b68c99f8c22b0c7db1b072a6cd86f9ac3da9.zip |
Type Vc_domain_ops.dops_callback_fn for clarity.
* virt-ctrl/vc_domain_ops.mli, virt-ctrl/vc_domain_ops.ml,
virt-ctrl/vc_mainwindow.mli: Give a type name to the domain_ops
callback type, for extra clarity.
Diffstat (limited to 'config.h.in')
0 files changed, 0 insertions, 0 deletions