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