blob: 9912d16916b8f28522dd19f4a8adf9bcddec8d68 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- ./src/Editor/Toolbox.h.orig Mon Jul 21 18:37:37 2003
+++ ./src/Editor/Toolbox.h Mon Jul 21 18:37:46 2003
@@ -13,7 +13,7 @@
#include <gtk/gtkwidget.h>
-
+using std::string;
class Toolbox
{
|