ok

2005-11-23 10:11:50 +00:00
parent 6725b525ff
commit 96f79ff1dc
16 changed files with 15 additions and 692 deletions
@@ -28,7 +28,7 @@


 #include <types.h>
-#include <ike_sa_manager.h>
+#include <sa/ike_sa_manager.h>
 #include <threads/sender.h>
 #include <threads/receiver.h>
 #include <threads/scheduler.h>