From f17e88e7098a5b1c817184e6bf59dcc5d9073ae9 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Thu, 4 Aug 2016 23:50:06 +0100 Subject: rename gtk global history implementation --- frontends/gtk/cookies.c | 1 - 1 file changed, 1 deletion(-) (limited to 'frontends/gtk/cookies.c') diff --git a/frontends/gtk/cookies.c b/frontends/gtk/cookies.c index d8f8b5dbd..3c5d93a87 100644 --- a/frontends/gtk/cookies.c +++ b/frontends/gtk/cookies.c @@ -33,7 +33,6 @@ #include "gtk/cookies.h" #include "gtk/plotters.h" -#include "gtk/scaffolding.h" #include "gtk/resources.h" #include "gtk/corewindow.h" -- cgit v1.2.3