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-print-filename.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-print-filename.c')
-rw-r--r-- | stubs/mon-print-filename.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/stubs/mon-print-filename.c b/stubs/mon-print-filename.c deleted file mode 100644 index 9c939641ff..0000000000 --- a/stubs/mon-print-filename.c +++ /dev/null @@ -1,6 +0,0 @@ -#include "qemu-common.h" -#include "monitor/monitor.h" - -void monitor_print_filename(Monitor *mon, const char *filename) -{ -} |