From c2e0bd8118fd5c7d3639e27c08eaa6e812f0dc4c Mon Sep 17 00:00:00 2001 From: Andrea Diamantini Date: Tue, 6 Oct 2009 11:48:17 +0200 Subject: Cleaning headers and so on... --- src/history.cpp | 1 - 1 file changed, 1 deletion(-) (limited to 'src/history.cpp') diff --git a/src/history.cpp b/src/history.cpp index aac3a66d..c3ccbad2 100644 --- a/src/history.cpp +++ b/src/history.cpp @@ -56,7 +56,6 @@ #include - // generic algorithms #include -- cgit v1.2.1