1 files changed, 1 insertions, 0 deletions

diff --git a/net/DEPS b/net/DEPS
index 3395ecf..49f0344 100644
--- a/net/DEPS
+++ b/net/DEPS
@@ -6,4 +6,5 @@ include_rules = [
 
 skip_child_includes = [
   "third_party",
+  "tools/flip_server",
 ]