1 files changed, 0 insertions, 16 deletions
diff --git a/perf/timers.h b/perf/timers.h
deleted file mode 100644
index d00d6cc611..0000000000
--- a/perf/timers.h
+++ /dev/null
@@ -1,16 +0,0 @@
-#include <gtk/gtkwidget.h>
-
-typedef enum
-{
-  TIMER_REPORT_WIDGET_CREATION,
-  TIMER_REPORT_WIDGET_SHOW,
-  TIMER_REPORT_WIDGET_DESTRUCTION
-} TimerReport;
-
-typedef GtkWidget *(* TimerWidgetCreateFunc) (gpointer user_data);
-
-typedef void (* TimerReportFunc) (TimerReport report, gdouble elapsed, gpointer user_data);
-
-void timer_time_widget (TimerWidgetCreateFunc create_func,
-			TimerReportFunc       report_func,
-			gpointer              user_data);