Moving third party sources to third_party folder so that they can be easily distinguished. This should help package maintainers.

2008-03-23 10:36:17 +00:00
parent 6a241f0a02
commit 5beaa816b4
57 changed files with 27 additions and 27 deletions
@@ -27,7 +27,7 @@

 #include <string>
 #include <boost/shared_ptr.hpp>
-#include <core/boost/timers.hpp>
+#include <third_party/boost/timers.hpp>

 class GuiInterface;
 class HandInterface;