1 2 3 4 5 6 7 8 9 10 11 12
--- ./src/Widgets/ListManager.h.orig Mon Jul 21 18:41:55 2003 +++ ./src/Widgets/ListManager.h Mon Jul 21 18:43:28 2003 @@ -14,7 +14,8 @@ #include <gtk/gtkwidget.h> - +using std::multiset; +using std::string; class ListManager