no need to export this header
authorMathieu Lacage <mathieu.lacage@sophia.inria.fr>
Wed, 02 Jul 2008 13:23:44 -0700
changeset 3377 37b35c72bc57
parent 3376 e91d3f7a2dae
child 3378 747aeace32ee
no need to export this header
src/routing/global-routing/wscript
--- a/src/routing/global-routing/wscript	Wed Jul 02 13:23:23 2008 -0700
+++ b/src/routing/global-routing/wscript	Wed Jul 02 13:23:44 2008 -0700
@@ -13,6 +13,5 @@
     headers.source = [
         'global-router-interface.h',
         'global-route-manager.h',
-        'candidate-queue.h',
         ]