print.h

#ifndef EID_VWR_GTK_PRINT_H
#define EID_VWR_GTK_PRINT_H

#include <gtk/gtk.h>

void do_print(GtkMenuItem* print, gpointer user_data);

#endif