Changeset 1822 in orxonox.OLD for orxonox/branches/bensch/orxonox_gui.h

Timestamp:

Apr 14, 2004, 2:53:37 AM (21 years ago)

Author:

bensch

Message:

orxonox/branches/bensch: hmm… little typo… it simply was too late for me

File:

• orxonox/branches/bensch/orxonox_gui.h (modified) (1 diff)

orxonox/branches/bensch/orxonox_gui.h

@@ -7 +7 @@
 #include <string.h>
 #include <gtk/gtk.h>
+#include "orxonox_gui_exec.h"
 
 gint delete_event ( GtkWidget *widget, GdkEvent *event, gpointer data );