diff options
author | Cole Robinson <crobinso@redhat.com> | 2014-03-21 19:42:23 -0400 |
---|---|---|
committer | Luiz Capitulino <lcapitulino@redhat.com> | 2014-04-25 09:19:58 -0400 |
commit | 4a66d3bf9ad3d121c32375081dc1379c3478fdb8 (patch) | |
tree | 330490797b0ce65398212fbc38fb27d1cc452e77 /stubs/mon-set-error.c | |
parent | d876f60d14d491c27719bafeaed21669e15348a3 (diff) |
monitor: Remove unused monitor_print_filename
Cc: Luiz Capitulino <lcapitulino@redhat.com>
Cc: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Cole Robinson <crobinso@redhat.com>
Reviewed-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Luiz Capitulino <lcapitulino@redhat.com>
Diffstat (limited to 'stubs/mon-set-error.c')
0 files changed, 0 insertions, 0 deletions